1136 search results - page 107 / 228 » A Multi-variant Approach to Software Process Modelling |
156
click to vote
ICFEM
2010
Springer
15 years 27 days ago
2010
Springer
Abstract. Today’s software systems are becoming increasingly configurable and designed for deployment on a plethora of architectures, ranging from sequential machines via multic...
107
click to vote
CIBSE
2009
ACM
15 years 9 months ago
2009
ACM
Model Driven Engineering (MDE) proposes a software development process in which software is built by constructing one or more models, and transforming these into other models. In t...
106
click to vote
ASM
2000
ASM
15 years 6 months ago
2000
ASM
ASMs have been used at Siemens Corporate Technology to design a component in a software package called FALKO. Main purpose of FALKO is the construction and validation of timetables...
109
Voted
KBSE
2006
IEEE
15 years 8 months ago
2006
IEEE
Software model checkers can be applied directly to single-process programs, which typically are multithreaded. Multi-process applications cannot be model checked directly. While m...
113
click to vote
CASCON
2001
15 years 3 months ago
2001
The way requirements should drive the rest of the software development process has been a subject of many research projects in the past. Unfortunately, all of them focus primarily...