431 search results - page 4 / 87 » Modeling with Abstract State Machines: A support for accurat... |
ECRTS
2000
IEEE
13 years 12 months ago
2000
IEEE
This paper describes a methodology for the development of real-time systems and shows its application to the modeling, analysis and implementation of distributed multimedia system...
ECMDAFA
2005
Springer
14 years 29 days ago
2005
Springer
The model-driven software development for hard real-time systems promotes the usage of the platform independent model as major design artifact. It is used to develop the software l...
ASE
1999
13 years 7 months ago
1999
Behaviour analysis should form an integral part of the software development process. This is particularly important in the design of concurrent and distributed systems, where comp...
CC
2008
Springer
13 years 9 months ago
2008
Springer
This paper describes the design and implementation of a language for specifying the semantics of an instruction set, along with a run-time system to support the static analysis of ...
MODELS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Separation of Concerns (SoC) is an important issue to reduce the complexity of software. Recent advances in programming language research show that Aspect-Oriented Progra...