3045 search results - page 319 / 609 » Formal Approaches to Software Architecture |
176
click to vote
ROBOCUP
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Constraint Nets provide a semantic model for modeling hybrid dynamic systems. Controllers are embedded constraint solvers that solve constraints in real-time. A controlle...
154
click to vote
ISPW
2006
IEEE
16 years 23 days ago
2006
IEEE
Workflows emphasize the partial order of activities, and the flow of data between activities. In contrast, cooperative processes emphasize the sharing of artefact, and its gradual ...
203
click to vote
FASE
2005
Springer
16 years 8 days ago
2005
Springer
Model Transformation has become central to most software engineering activities. It refers to the process of modifying a (usually graphical) model for the purpose of analysis (by i...
183
click to vote
APSEC
2003
IEEE
16 years 1 days ago
2003
IEEE
This paper describes a process for selecting and evaluating candidates for component based software engineering. The process is aimed at developers sourcing components from third ...
164
click to vote
WCRE
1998
IEEE
15 years 11 months ago
1998
IEEE
Types are a good starting point for various software reengineering tasks. Unfortunately, programs requiring reengineering most desperately are written in languages without an adeq...