Titlebook: Rapid Integration of Software Engineering Techniques; First International Nicolas Guelfi Conference proceedings 2005 Springer-Verlag Berli

Adams

书目名称Rapid Integration of Software Engineering Techniques影响因子(影响力)




书目名称Rapid Integration of Software Engineering Techniques影响因子(影响力)学科排名




书目名称Rapid Integration of Software Engineering Techniques网络公开度




书目名称Rapid Integration of Software Engineering Techniques网络公开度学科排名




书目名称Rapid Integration of Software Engineering Techniques被引频次




书目名称Rapid Integration of Software Engineering Techniques被引频次学科排名




书目名称Rapid Integration of Software Engineering Techniques年度引用




书目名称Rapid Integration of Software Engineering Techniques年度引用学科排名




书目名称Rapid Integration of Software Engineering Techniques读者反馈




书目名称Rapid Integration of Software Engineering Techniques读者反馈学科排名

semiskilled

自恋

Automatic Translation of Service Specification to a Behavioral Type Language for Dynamic Service Verd to avoid ”message-not-understood” errors. Rules are given for automatic translation from the XML manuscripts to this behavioral type language. This translation first makes projection to the role session, using hidden actions. Those hidden actions are then removed so a sound verification can take place.

TRUST

A Methodology and a Framework for Model-Based Testingage for system specification that acts as an intermediary format between the model and the tests..Our method makes use of well known techniques such as symbolic execution by means of a logic resolution engine (i.e. Prolog) for state space exploration of the SUT.

thalamus

Spartan

A Symbolic Model Checker for , Programshecking algorithm for . which mitigates the state explosion problem that is common to more conventional model checking approaches. We show how the symbolic approach to model checking for . improves previous approaches based on the classical Linear Time Logic (LTL) model checking algorithm.

有罪

伟大

IDEAS

漂浮

Supporting Virtual Interaction Objects with Polymorphic Platform Bindings in a User Interface Prograly retargeted to different graphical environments. Such methods are usually deployed in implementing multi-platform User Interface libraries, delivering Application Programming Interfaces (APIs) typically split in two layers: (a) the top layer, encompassing the platform independent programming eleme