1432 search results - page 246 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
83
Voted
AOSD
2009
ACM
14 years 12 months ago
2009
ACM
Cyber-physical systems increasingly rely on dynamically adaptive programs to respond to changes in their physical environment; examples include ecosystem monitoring and disaster r...
ATAL
2010
Springer
14 years 10 months ago
2010
Springer
Service-oriented systems are becoming more and more nodes in a digital, dynamic ecosystem requiring the identification and establishment of flexible, spontaneous collaboration act...
84
Voted
FASE
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. Software models are key in separating and solving independent development concerns. However, there is still a gap on how to transition design information among these sepa...
ICSE
2003
IEEE-ACM
15 years 2 months ago
2003
IEEE-ACM
ct Feature Oriented Programming (FOP) is a design methodology and tools for program synthesis. The goal is to specify a target program in terms of the features that it offers, and ...
SIGSOFT
2010
ACM
14 years 7 months ago
2010
ACM
Empirical studies of software defects rely on links between bug databases and program code repositories. This linkage is typically based on bug-fixes identified in developer-enter...