62 search results - page 1 / 13 » Specification and Validation of Distributed IP-Based Designs... |
DATE
1999
IEEE
13 years 9 months ago
1999
IEEE
PDSE
1998
13 years 6 months ago
1998
The development of correct OO distributed software is a daunting task as soon as the distributed interactions are not trivial. This is due to the inherent complexity of distribute...
RSP
1998
IEEE
13 years 9 months ago
1998
IEEE
The complexity of distributed systems is a problem when designers want to evaluate their safety and liveness. Often, they are built by integration of existing components with newl...
ECMDAFA
2007
Springer
13 years 11 months ago
2007
Springer
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...
BIRTHDAY
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...