標(biāo)題: Titlebook: Software Engineering with OBJ; Algebraic Specificat Joseph Goguen,Grant Malcolm Book 2000 Springer Science+Business Media New York 2000 Har [打印本頁] 作者: 變更 時(shí)間: 2025-3-21 18:40
書目名稱Software Engineering with OBJ影響因子(影響力)
書目名稱Software Engineering with OBJ影響因子(影響力)學(xué)科排名
書目名稱Software Engineering with OBJ網(wǎng)絡(luò)公開度
書目名稱Software Engineering with OBJ網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Software Engineering with OBJ被引頻次
書目名稱Software Engineering with OBJ被引頻次學(xué)科排名
書目名稱Software Engineering with OBJ年度引用
書目名稱Software Engineering with OBJ年度引用學(xué)科排名
書目名稱Software Engineering with OBJ讀者反饋
書目名稱Software Engineering with OBJ讀者反饋學(xué)科排名
作者: constitute 時(shí)間: 2025-3-21 22:57
Victoria Stavridouudium an Fachhochschulen und Universit?ten sowie an Anwender mathematischer Methoden in der Wirtschaftspraxis..Professor Dr. Heinrich Holland lehrt Quantitative Methoden der Betriebswirtschaftslehre und Marketing an der University of Applied Sciences in Mainz. .Doris Holland ist Dozentin für Wirtsch作者: obstinate 時(shí)間: 2025-3-22 02:49
David A. Duceudium an Fachhochschulen und Universit?ten sowie an Anwender mathematischer Methoden in der Wirtschaftspraxis..Professor Dr. Heinrich Holland lehrt Quantitative Methoden der Betriebswirtschaftslehre und Marketing an der University of Applied Sciences in Mainz. .Doris Holland ist Dozentin für Wirtsch作者: 極為憤怒 時(shí)間: 2025-3-22 07:12
udium an Fachhochschulen und Universit?ten sowie an Anwender mathematischer Methoden in der Wirtschaftspraxis..Professor Dr. Heinrich Holland lehrt Quantitative Methoden der Betriebswirtschaftslehre und Marketing an der University of Applied Sciences in Mainz. .Doris Holland ist Dozentin für Wirtsch作者: 雕鏤 時(shí)間: 2025-3-22 10:45
Joseph A. Goguengelegt, in jedem Kapitel den Stoff an- hand von Beispielaufgaben, die aus dem Bereich der Wirtschaft stammen, zu erl?utern und zu vertiefen. Weitere Aufgaben mit Musterl?sungen machen es m?glich, den Stoff selbst zu erarbeiten. Sie k?nnen zur Selbstkontrolle und zur Prüfungsvorbereitung genutzt werd作者: DNR215 時(shí)間: 2025-3-22 15:15 作者: Gum-Disease 時(shí)間: 2025-3-22 17:38 作者: 腐敗 時(shí)間: 2025-3-22 22:36
Kazuhito Ohmaki,Koichi Takahashi,Kokichi Futatsugi作者: 空氣 時(shí)間: 2025-3-23 05:15 作者: 騙子 時(shí)間: 2025-3-23 06:18
Joseph A. Goguen,Timothy Winkler,José Meseguer,Kokichi Futatsugi,Jean-Pierre Jouannaudzu bringen. übersichtlich strukturierte Schemata geben dabei eine Hilfestellung. Aus diesem Grund wird ein besonderer Wert darauf gelegt, in jedem Kapitel den Stoff anhand von Beispielaufgaben, die aus dem Bereich der Wirtschaft stammen, zu erl?978-3-8349-9674-9作者: Melodrama 時(shí)間: 2025-3-23 12:09 作者: Gustatory 時(shí)間: 2025-3-23 17:55 作者: 微枝末節(jié) 時(shí)間: 2025-3-23 19:19
Claude Kirchner,Hélène Kirchner,Aristide Mégrelisstammen, zu erl?utern und zu vertiefen. Weitere Aufgaben mit Musterl?sungen machen es m?glich, den Stoff selbst zu erarbeiten. Sie k?nnen zur Selbstkontrolle und zur Prüfungsvorbereitung genutzt werd978-3-322-92161-1作者: LOPE 時(shí)間: 2025-3-24 02:11 作者: Myocarditis 時(shí)間: 2025-3-24 06:10 作者: BIAS 時(shí)間: 2025-3-24 09:38 作者: BARGE 時(shí)間: 2025-3-24 11:10
Specifying in OBJ, Verifying in REVE and Some Ideas about Timetionally used in connection with software development, as tools for the specification and verification of digital systems. We therefore identify the aspects of these systems which are relevant to hardware development. In particular, we are concerned with optimising proofs in REVE and specifying behaviour of circuits through time.作者: Conquest 時(shí)間: 2025-3-24 16:27
Applications of OBJ to the Specification of Standards for Computer Graphicsal specifications of the systems are given illustrating how the specification of a system can be built up from a hierarchy of simple components. The purpose of the paper is to illustrate one approach to the description of a compatible family of graphics standards and the use of formal specification techniques in this process.作者: Amnesty 時(shí)間: 2025-3-24 19:26
Semantic Specifications for the Rewrite Rule Machinete processor. The second specification, called the . model, provides a more concrete operational semantics for this processor, using algebraic semantics (in OBJ) and set theory. The third specification, called ., gives an abstract semantics for the Rewrite Rule Machine as a whole.作者: Conscientious 時(shí)間: 2025-3-25 02:03
Introducing OBJs. Release 2 of OBJ3 is described in detail, with many examples. OBJ is a wide spectrum first-order functional language that is rigorously based on (order sorted) equational logic and parameterized programming, supporting a declarative style that facilitates verification and allows OBJ to be used as作者: 運(yùn)動(dòng)的我 時(shí)間: 2025-3-25 05:25
Specifying in OBJ, Verifying in REVE and Some Ideas about Timee systems. In this paper we investigate the applicability of the OBJ specification language and the REVE theorem prover, both of which have been traditionally used in connection with software development, as tools for the specification and verification of digital systems. We therefore identify the a作者: corn732 時(shí)間: 2025-3-25 10:13
Constructing a Graphics System with OBJ2: A Practical Guideion process and the resultant description raise some pragmatic issues in using OBJ2 as a specification language, such as the criteria for selecting a particular construction from among several alternatives. An example of checking specifications in a systematic way is also shown.作者: 合唱隊(duì) 時(shí)間: 2025-3-25 14:51
Applications of OBJ to the Specification of Standards for Computer Graphics a simplified model GKS-like system is described and a 2D PHIGS-like system is then described in terms of this and a centralised structure store. Formal specifications of the systems are given illustrating how the specification of a system can be built up from a hierarchy of simple components. The p作者: Adrenaline 時(shí)間: 2025-3-25 16:01
Semantic Specifications for the Rewrite Rule Machine operating independently, each implemented as a VLSI chip. The first specification, called ., provides an abstract operational semantics for the rewrite processor. The second specification, called the . model, provides a more concrete operational semantics for this processor, using algebraic semanti作者: avulsion 時(shí)間: 2025-3-25 21:41
OBJ for OBJogramming task and a means of communication between different programmers and designers. In the light of this experiment, we propose some extensions to the language and also give a reflexive version of the interpreter.作者: paroxysm 時(shí)間: 2025-3-26 03:22 作者: LIMN 時(shí)間: 2025-3-26 08:03
A LOTOS Simulator in OBJed by operator definition part and equation definition part in OBJ, respectively..When writing the simulator using a term rewriting system, we need a lazy evaluation mechanism, because rewriting operations for recursive process definitions in LOTOS would not terminate without lazy evaluation. We use作者: CHIP 時(shí)間: 2025-3-26 09:26 作者: lipoatrophy 時(shí)間: 2025-3-26 13:00
Book 2000system. As a formal specification language,OBJ makes specifications and designs more precise and easier to read,as well as making maintenance easier and more accurate. OBJ differsfrom most other specification languages not just in having a formalsemantics, but in being executable, either through sym作者: 粗糙濫制 時(shí)間: 2025-3-26 18:46
A LOTOS Simulator in OBJto the enhancement of LOTOS in future, especially for abstract data type enhancement. The introduction of subsort is one of the most distinguished point of using OBJ. This point is discussed using simple examples..We also show an example to prove properties of a LOTOS specification.作者: grieve 時(shí)間: 2025-3-27 00:47 作者: Statins 時(shí)間: 2025-3-27 03:41
ssenschaftlichen Studiums ben?tigt werden. Nach dem Motto ?Warum kompliziert, wenn es auch einfach geht?“, werden komplexe Bereiche der Wirtschaftsmathematik übersichtlich Schritt für Schritt auch für mathematisch unerfahrene Studierende erl?utert. Die mathematischen Verfahren werden mit ihren Anwen作者: 針葉樹 時(shí)間: 2025-3-27 05:59
Joseph A. Goguen,Timothy Winkler,José Meseguer,Kokichi Futatsugi,Jean-Pierre Jouannaudschaftsmathematik ab. Es legt damit die Grundlagen, die im weiteren Verlauf eines wirtschaf- wissenschaftlichen Studiums ben?tigt werden. Nach dem Motto ?Warum kompliziert, wenn es auch einfach geht?“, werden komplexe Bereiche der Wirtschaftsmathematik übersichtlich Schritt für Schritt auch für math作者: 桶去微染 時(shí)間: 2025-3-27 11:50
schaftsmathematik ab. Es legt damit die Grundlagen, die im weiteren Verlauf eines wirtschaf- wissenschaftlichen Studiums ben?tigt werden. Nach dem Motto ?Warum kompliziert, wenn es auch einfach geht?“, werden komplexe Bereiche der Wirtschaftsmathematik übersichtlich Schritt für Schritt auch für math作者: 發(fā)誓放棄 時(shí)間: 2025-3-27 13:57
Victoria Stavridou pragmatisch orientiert. Nicht die mathematische Eleganz und Beweisführung stehen im Vordergrund, sondern das Aufzeigen der tats?chlichen Anwendungsm?glichkeiten der Mathematik in den Wirtschaftswissenschaften. übersichtlich strukturierte Schemata erleichtern die Umsetzung ?konomischer Verfahren..Sc作者: Sleep-Paralysis 時(shí)間: 2025-3-27 18:41
Ataru T. Nakagawa,Kokichi Futatsugirlesung Wirtschaftsmathematik einschlie?lich der Finanzmathematik ab. Das bew?hrte Lehrbuch ist pragmatisch orientiert. Nicht die mathematische Eleganz und Beweisführung stehen im Vordergrund, sondern das Aufzeigen der tats?chlichen Anwendungsm?glichkeiten der Mathematik in den Wirtschaftswissenscha作者: 卷發(fā) 時(shí)間: 2025-3-28 01:37
David A. Duce pragmatisch orientiert. Nicht die mathematische Eleganz und Beweisführung stehen im Vordergrund, sondern das Aufzeigen der tats?chlichen Anwendungsm?glichkeiten der Mathematik in den Wirtschaftswissenschaften. übersichtlich strukturierte Schemata erleichtern die Umsetzung ?konomischer Verfahren..Sc作者: 命令變成大炮 時(shí)間: 2025-3-28 04:21
pragmatisch orientiert. Nicht die mathematische Eleganz und Beweisführung stehen im Vordergrund, sondern das Aufzeigen der tats?chlichen Anwendungsm?glichkeiten der Mathematik in den Wirtschaftswissenschaften. übersichtlich strukturierte Schemata erleichtern die Umsetzung ?konomischer Verfahren..Sc作者: alleviate 時(shí)間: 2025-3-28 07:38
Joseph A. Goguenrundlagen, die im weiteren Verlauf des Studiums ben?tigt werden. Die mathematischen Verfahren werden mit ihren Anwendungsm?glichkeiten in der betrieblichen Praxis dargestellt. Dabei wird bewu?t weitestm?glich auf eine mathematisch- wissenschaftliche Fachsprache verzichtet. Nicht die mathematische El作者: Concrete 時(shí)間: 2025-3-28 10:51
Claude Kirchner,Hélène Kirchner,Aristide Mégrelislich der Finanzmathematik ab. Es legt damit die Grundlagen, die im weiteren Verlauf des Studiums ben?tigt werden. Die mathematischen Verfahren werden mit ihren Anwendungsm?glichkeiten in der betrieblichen Praxis dargestellt. Dabei wird bewu?t weitestm?glich auf eine mathematisch- wissenschaftliche F作者: 終端 時(shí)間: 2025-3-28 15:54
E. Battiston,F. De Cindio,G. Maurilich der Finanzmathematik ab. Es legt damit die Grundlagen, die im weiteren Verlauf des Studiums ben?tigt werden. Die mathematischen Verfahren werden mit ihren Anwendungsm?glichkeiten in der betrieblichen Praxis dargestellt. Dabei wird bewu?t weitestm?glich auf eine mathematisch- wissenschaftliche F作者: 節(jié)約 時(shí)間: 2025-3-28 19:00
Advances in Formal Methodshttp://image.papertrans.cn/s/image/870878.jpg作者: 平躺 時(shí)間: 2025-3-29 01:11
https://doi.org/10.1007/978-1-4757-6541-0Hardware; algebra; computer; computer graphics; design; formal specification; language; programming; program作者: 斥責(zé) 時(shí)間: 2025-3-29 04:26
978-1-4419-4965-3Springer Science+Business Media New York 2000
