Titlebook: ESEC ‘91; 3rd European Softwar Axel Lamsweerde,Alfonso Fugetta Conference proceedings 1991 Springer-Verlag Berlin Heidelberg 1991 Configura

cessation

書目名稱ESEC ‘91影響因子(影響力)




書目名稱ESEC ‘91影響因子(影響力)學(xué)科排名




書目名稱ESEC ‘91網(wǎng)絡(luò)公開度




書目名稱ESEC ‘91網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱ESEC ‘91被引頻次




書目名稱ESEC ‘91被引頻次學(xué)科排名




書目名稱ESEC ‘91年度引用




書目名稱ESEC ‘91年度引用學(xué)科排名




書目名稱ESEC ‘91讀者反饋




書目名稱ESEC ‘91讀者反饋學(xué)科排名

creatine-kinase

handle

ESEC ‘91978-3-540-46446-4Series ISSN 0302-9743 Series E-ISSN 1611-3349

Override

Conclusion: The Liminal Raconteur, automatically selected from an algebraic specification of the system via selection strategies derived from well-chosen hypotheses. This selection is done in a modular way and can be tuned by the user of the system.

CLAY

gn within Philips. The case study shows that formal techniques can be used in an industrial context; in particular the language COLD-1 is a good vehicle for writing the specifications. In addition it is shown that an object-oriented style can be used within this wide spectrum language, without changing it.

FLOAT

s on previous language experiments. ASTRAL is intended to support formal software development; therefore, the language itself has been formally defined. ASTRAL‘s specification style is illustrated by discussing a case study taken from telephony.

FLOAT

顛簸下上

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/e/image/300500.jpg

不能強(qiáng)迫我

ort properties and constraints prescribed by the software and cognitive psychology communities. From these observations, we derive a multi-agent framework applicable to the software design of interactive systems. An example shows how this general model can be engineered to fit practical problems. We

Host142