1101 search results - page 24 / 221 » Barbed Model-Driven Software Development: A Case Study |
TPHOL
1998
IEEE
15 years 1 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
ATVA
2010
Springer
14 years 7 months ago
2010
Springer
: Narrowing the wide conceptual gap between problem and implementation domains is considered a significant factor within software engineering. Currently, such a relation is often o...
ESE
2006
14 years 9 months ago
2006
Agile methods have evolved as a bottom-up approach to software development. However, as the software in embedded products is only one part of development projects, agile methods mu...
APSEC
2003
IEEE
15 years 3 months ago
2003
IEEE
Change requests are often formulated into concepts or features that a maintainer can understand. One of the main issues faced by a maintainer is to know and locate “where does t...
AINA
2008
IEEE
14 years 11 months ago
2008
IEEE
The evolution of any software product over its lifetime is unavoidable, caused both by bugs to be fixed and by new requirements appearing in the later stages of the product's...