8083 search results - page 155 / 1617 » A Formalization of Software Architecture |
127
click to vote
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
Current real-world software applications typically involve heavy use of relational and XML data and their query languages. Unfortunately object-oriented languages and database que...
125
click to vote
ASYNC
2007
IEEE
15 years 8 months ago
2007
IEEE
Few formal verification techniques are currently available for asynchronous designs. In this paper, we describe a new approach for the formal verification of asynchronous architec...
144
click to vote
EUROSYS
2006
ACM
15 years 7 months ago
2006
ACM
Product-line architectures (PLA)s are an emerging paradigm for developing software families for distributed real-time and embedded (DRE) systems by customizing reusable artifacts,...
121
click to vote
CSEE
2009
Springer
15 years 10 months ago
2009
Springer
The wicked nature of software architecture calls for educational methodologies that deviate from the traditional active lecturer-passive student relation. In this paper we present...
109
click to vote
ESI
2010
15 years 2 months ago
2010
The recently completed prototyping efforts for a new type of riometer, the Advanced Rio-Imaging Experiment in Scandinavia (ARIES), required the development of a uniquely flexible s...