3045 search results - page 76 / 609 » Formal Approaches to Software Architecture |
80
Voted
CODES
2000
IEEE
15 years 3 months ago
2000
IEEE
In current design practice synthesis tools play a key role, letting designers to concentrate on the specificationof the system being designed by carrying out repetitive tasks such...
95
Voted
XIMEP
2005
ACM
15 years 4 months ago
2005
ACM
Markup languages, representations, schemas, and tools have significantly increased the ability for organizations to share their information. Languages such as the Extensible Marku...
DATE
2003
IEEE
15 years 4 months ago
2003
IEEE
Automotive systems engineering has made significant progress in using formal methods to design safe hardware-software systems. The architectures and design methods could become a ...
112
Voted
VAMOS
2007
Springer
15 years 5 months ago
2007
Springer
Aspect-oriented software development has recently emerged as a new paradigm for systematic modularization and representation of the crosscutting concern. Because the variability i...
136
Voted
FAABS
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...