1026 search results - page 34 / 206 » Software Engineering for Self-Adaptive Systems: A Research R... |
ICSE
2008
IEEE-ACM
16 years 17 days ago
2008
IEEE-ACM
Software is increasingly deployed in vehicles as demand for new functionality increases and cheaper and more powerful hardware becomes available. Likewise, emerging wireless commu...
ICSE
2003
IEEE-ACM
15 years 12 months ago
2003
IEEE-ACM
Requirements engineering and software architecting are two key activities in software life cycle. Researchers have paid much attention to mapping and transformation from requireme...
109
click to vote
KBSE
2005
IEEE
15 years 5 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
WCRE
2007
IEEE
15 years 6 months ago
2007
IEEE
Gaining an understanding of software systems is an important discipline in many software engineering contexts. It is essential that software engineers are assisted as much as poss...
108
click to vote
ETFA
2008
IEEE
15 years 1 months ago
2008
IEEE
In this paper we discuss the separation between attributes on functionality and on structure following an approach based on Model Driven Engineering (MDE). We adopt a methodologic...