3045 search results - page 58 / 609 » Formal Approaches to Software Architecture |
CEEMAS
2005
Springer
15 years 4 months ago
2005
Springer
In this paper we propose an architecture for the development of Intelligent Virtual Environments for Training, which is based on a collection of cooperative software agents. The ï¬...
SEFM
2003
IEEE
15 years 4 months ago
2003
IEEE
Despite the advances in software engineering since 1968, current methods for going from a set of functional requirements to a design are not as direct, repeatable and constructive...
APSEC
2006
IEEE
15 years 21 days ago
2006
IEEE
Almost methods in embedded software modeling take software architecture as one of the crucial parts of the design process. Since a principal role of embedded software is the inter...
AAAI
2008
15 years 1 months ago
2008
Program debugging is one of the most time-consuming parts of the software development cycle. In recent years, automatic debugging has been an active research area in software engi...
RE
2001
Springer
15 years 3 months ago
2001
Springer
Today's requirements engineering approaches focus on notation and techniques for modeling the intended functionality and qualities of a software system. Little attention has ...