3045 search results - page 123 / 609 » Formal Approaches to Software Architecture |
PFE
2001
Springer
15 years 3 months ago
2001
Springer
: This paper discusses the understanding of quality attributes and their application to the design of a software architecture. We present an approach to characterizing quality attr...
108
click to vote
JOT
2008
14 years 11 months ago
2008
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specif...
UML
2005
Springer
15 years 4 months ago
2005
Springer
The recent trend in software engineering to model-centered methodologies is an excellent opportunity for OCL to become a widely used specification language. If the focus of the de...
88
Voted
SERP
2003
15 years 14 days ago
2003
In recent publications, two prominent approaches can be found which deal with the complexity of large software systems. First, there is the object–oriented approach, where ”ob...
EWSA
2004
Springer
15 years 4 months ago
2004
Springer
This paper provides an overview on the approach of the IST OMEGA project for the development of correct software for embedded systems based on the use of UML as modelling language....