91 search results - page 6 / 19 » A Descriptive Approach for the Lifecycle Support of Distribu... |
ISSTA
2009
ACM
14 years 5 days ago
2009
ACM
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
EDOC
2003
IEEE
14 years 24 days ago
2003
IEEE
Component-Based Software Engineering, Separation of Concerns, Model-Driven Architecture, and Aspect-Oriented Programming are four active research areas that have been around for s...
WETICE
2005
IEEE
14 years 1 months ago
2005
IEEE
System theory propagates the use of models which e level of abstraction to cope with complexity, evolving out of variety and connectivity. Different modeling techniques have been ...
ETFA
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper describes formal modeling and verification of automation systems from the system engineering point of view. Reuse of model components is the key issue in order to bring...
SEW
2007
IEEE
14 years 1 months ago
2007
IEEE
The communication and tasking infrastructure of a realtime application makes up a significant portion of any embedded control system. Traditionally, the tasking and communication...