8083 search results - page 155 / 1617 » A Formalization of Software Architecture |
155
click to vote
OOPSLA
2007
Springer
16 years 5 days 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...
147
click to vote
ASYNC
2007
IEEE
15 years 10 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...
170
click to vote
EUROSYS
2006
ACM
15 years 9 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,...
142
click to vote
CSEE
2009
Springer
16 years 18 days 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...
130
click to vote
ESI
2010
15 years 4 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...