3045 search results - page 359 / 609 » Formal Approaches to Software Architecture |
182
click to vote
ASWEC
2005
IEEE
16 years 13 days ago
2005
IEEE
The usefulness of design patterns in forward engineering is already well-known and several tools provide support for their application in the development of software systems. Whil...
180
click to vote
WADT
1998
Springer
15 years 10 months ago
1998
Springer
Graph transformation systems have been introduced for the formal specification of software systems. States are thereby modeled as graphs, and computations as graph derivations acco...
176
click to vote
ICFEM
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...
197
click to vote
BPM
2008
Springer
15 years 8 months ago
2008
Springer
The need to involve business users in process modeling is largely perceived in the context of Business Process Management systems. This can facilitate the elaboration of consistent...
160
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
Architecture has been identified as a main tool for high quality system development. It encapsulates the earliest design decisions of the system under development. These decisions...