4151 search results - page 81 / 831 » Language Driven System Design |
IPPS
2005
IEEE
15 years 5 months ago
2005
IEEE
Traditional techniques for building dependable, highperformance distributed systems are too expensive for most non-critical systems, often causing dependability to be sidelined as...
106
click to vote
ICSE
2003
IEEE-ACM
15 years 12 months ago
2003
IEEE-ACM
This paper reports the results of exploratory research to develop a pilot pattern language for systems engineers at BAE SYSTEMS. The pattern language was designed to encapsulate k...
ECBS
2005
IEEE
15 years 5 months ago
2005
IEEE
Testing complex Computer-Based Systems is not only a demanding but a very critical task. Therefore the use of models for generating test data is an important goal. Tool support du...
146
click to vote
ICSNW
2004
Springer
15 years 5 months ago
2004
Springer
Knowledge Sifter is a scaleable agent-based system that supports access to heterogeneous information sources such as the Web, open-source repositories, XML-databases and the emergi...
DAC
1998
ACM
16 years 23 days ago
1998
ACM
Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...