1136 search results - page 130 / 228 » A Multi-variant Approach to Software Process Modelling |
119
Voted
GRAPHICSINTERFACE
2001
15 years 3 months ago
2001
Physics-based modeling integrates dynamics and geometry. The standard methods to solve the Lagrangian equations use a direct approach in the spatial domain. Though extremely power...
130
click to vote
KBSE
2002
IEEE
15 years 7 months ago
2002
IEEE
ort gives their abstracts. s of the position papers Recent Experiences with Code Generation and Task Automation Agents in Software Tools (J. Grundy, J. Hosking) As software grows i...
138
click to vote
SCESM
2006
ACM
15 years 8 months ago
2006
ACM
Requirements models for large systems typically cannot be developed in a single step, but evolve in a sequence of iterations. We have developed such an iterative modeling process ...
117
click to vote
FOSSACS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Symbolic bisimulations were introduced as a mean to define value-passing process calculi using smaller, possibly finite labelled transition systems, equipped with symboli...
128
Voted
SCFBM
2008
15 years 1 months ago
2008
Background: The construction of complex spatial simulation models such as those used in network epidemiology, is a daunting task due to the large amount of data involved in their ...