3045 search results - page 53 / 609 » Formal Approaches to Software Architecture |
137
click to vote
FASE
2009
Springer
16 years 23 days ago
2009
Springer
Abstract. We present an approach to define template languages for generating syntactically correct code. In the first part of the paper, we define the syntax and semantics of a ...
152
Voted
CIBSE
2009
ACM
16 years 15 days ago
2009
ACM
Model Driven Engineering (MDE) proposes a software development process in which software is built by constructing one or more models, and transforming these into other models. In t...
157
click to vote
WICSA
2004
15 years 7 months ago
2004
In this paper, we present an approach to improve the software architecture evaluation process by systematically extracting and appropriately documenting architecturally significan...
198
click to vote
CL
2008
Springer
15 years 6 months ago
2008
Springer
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...
184
click to vote
EUROMICRO
2006
IEEE
16 years 1 days ago
2006
IEEE
This paper presents the modeling paradigm for Integrated Modular Avionics Design MIMAD V0, which is an extensible component-oriented framework that enables high level models of sy...