Titlebook: Reliable Software Technologies - Ada-Europe 2009; 14th Ada-Europe Inte Fabrice Kordon,Yvon Kermarrec Conference proceedings 2009 Springer-V

成绩上升

Feckless

Conference proceedings 2009t, France, on June 8-12, 2009. The 19 papers presented were carefully reviewed and selected from numerous submissions. Topics of interest to the conference are methods and techniques for software development and maintenance; software architecture; enabling technology; software quality; theory and pr

Palpable

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/r/image/826450.jpg

PRISE

colostrum

Requirements on the Target Programming Language for High-Integrity MDE,driven engineering environment. We show that the dominant point of view for this selection becomes that of the designer of the model-to-code transformation engine. We then illustrate the application of the proposed requirements on a simple example.

等级的上升

Model Checking Techniques for Test Generation from Business Process Models,ular kind of tests. In order to do this we transform the Business Process models in an intermediate format called Algebraic Petri Nets. We then use model checking techniques (e.g. Decision Diagrams) to encode the state space — the semantics — of the model and producing test cases including their oracles according to that transition system.

myocardium

covert

Process-Algebraic Interpretation of AADL Models,olset provides simulation and timing analysis of AADL models. Underlying both tools is a process-algebraic implementation of AADL semantics. The common implementation of the semantics ensures consistency in the analysis results between the tools.

闷热

albuminuria

Reliable Software Technologies - Ada-Europe 2009978-3-642-01924-1Series ISSN 0302-9743 Series E-ISSN 1611-3349