Titlebook: SDL 2007: Design for Dependable Systems; 13th International S Emmanuel Gaudin,Elie Najm,Rick Reed Conference proceedings 2007 Springer-Verl

窒息

新义

A Model-Based Standard for SDLerall language definition. These imprecise descriptions are hardly usable to automatically generate language tool environments out of the language standard. SDL has already managed to define syntax and semantics in a quite formal way. Currently, this formality is connected by using different types o

TAIN

Model Driven Development and Code Generation: An Automotive Case Studyalized at a high abstraction level. Several languages and formalisms have been proposed to this aim; UML diagrams are also used to this purpose. Starting from such an abstract description, still much work is needed to derive a working application, with a model-driven development process that needs t

aquatic

annexation

TTCN-3 Quality Engineering: Using Learning Techniques to Evaluate Metric Setse used since individual metrics cover only isolated quality aspects rather than a quality characteristic as a whole. The choice of the metrics within such metric sets, however, is non-trivial. Metrics may intuitively appear to be complementing, but they often are in fact non-orthogonal, i.e. the inf

广告

Using TTCN for Radio Conformance Test SystemsThis paper proposes an improvement on the quality of radio test specifications via the use of formal notation TTCN. This approach, and the fact that protocol and radio conformance testing share most of the underlying concepts, enables the use of a generic architecture for implementations of both typ

贞洁

Testing UML2.0 Models Using TTCN-3 and the UML2.0 Testing Profiles support for part of the UML2.0 testing profile from which TTCN-3 can be generated. The toolset has been developed within Motorola for models developed using Telelogic Tau G2 and test suites using Telelogic Tester. The models are subsequently used for application code generation..The basic integrat

cognizant

原谅

Translatable Finite State Time Machinesystems. A formal method for automatic generation of programs is developed around this model. The method starts from modeling the desired behavior of the system under design by means of a UML-based state machine with the ability to measure time, and ends up with a complete program written in one of

FLUSH