2682 search results - page 338 / 537 » An Iterative-Cyclic Software Process Model |
152
click to vote
EPEW
2005
Springer
15 years 9 months ago
2005
Springer
Software composition via workflow specifications has received a great deal of attention recently. One reason is the high degree of fit with the encapsulation of software modules...
133
click to vote
ECOWS
2006
Springer
15 years 8 months ago
2006
Springer
A broader use of e-services for cross enterprise collaboration requires the services to be analysed and designed with a clear business focus. From a business perspective, the e-se...
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...
139
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...
129
click to vote
WSC
2004
15 years 5 months ago
2004
Creating a simulation of a large enterprise system by manually coding all the details into a simulator tool is not just time consuming, but yields a system that is difficult to ma...