8083 search results - page 17 / 1617 » A Formalization of Software Architecture |
ISIM
2007
13 years 9 months ago
2007
Common features of current information systems have significant impact on software architectures of these systems. The systems can not be realised as monoliths, formal specifica...
GECCO
2004
Springer
14 years 26 days ago
2004
Springer
Software design techniques emphasize the use of abstractions to help developers deal with the complexity of constructing large and complex systems. These abstractions can also be u...
APSCC
2008
IEEE
13 years 9 months ago
2008
IEEE
Monitors have been used for real-time systems to ensure proper behavior; however, most approaches do not allow for the addition of relevant fields required to identify and react t...
ICSE
1999
IEEE-ACM
13 years 11 months ago
1999
IEEE-ACM
Architecture Definition Languages (ADLs) enable the formalization of the architecture of software systems and the execution of preliminary analyses on them. These analyses aim at...
CC
2009
Springer
13 years 5 months ago
2009
Springer
We present the architecture of the Rosser toolkit that allows optimisations to be specified in a domain specific language, then compiled and deployed towards optimising object prog...