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