3514 search results - page 311 / 703 » Software Process Modeling: Principles of Entity Process Mode... |
153
click to vote
WSKS
2009
Springer
15 years 8 months ago
2009
Springer
Model-Driven Development (MDD) has encouraged the use of automated software tools that facilitate the development process from modelling to coding. User Interfaces (UI), as a signi...
117
click to vote
EUROCAST
2007
Springer
15 years 8 months ago
2007
Springer
Most non-trivial applications use some form of input/output (I/O), such as network communication. When model checking such an application, a simple state space exploration scheme i...
137
click to vote
SPLC
2004
15 years 5 months ago
2004
We study the generative development of control programs for families of embedded devices. A software family is described by a single common model and restriction specifications for...
152
click to vote
ISIM
2007
15 years 5 months ago
2007
Software architecture, and its behavior can be expressed as UML models. Models of complex systems can be also complex and hard to read – they may consists of hundreds of artifact...
156
click to vote
CISIS
2008
IEEE
15 years 10 months ago
2008
IEEE
Liver segmentation from scans of the abdominal area is an important step in several diagnostic processes. CT scans of the abdominal area contain several organs in close proximity ...