1579 search results - page 168 / 316 » A software development process supporting non-functional pro... |
151
click to vote
VSTTE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...
143
Voted
ENTCS
2010
15 years 2 months ago
2010
We study the biochemical processes involved in scaffold-mediated crosstalk between the cAMP and the Raf-1/MEK/ERK pathways. We model the system by a continuous time Markov chain w...
140
click to vote
INAP
2001
Springer
15 years 9 months ago
2001
Springer
We describe the software environment that has been developed for the management and support of planning missions in the SAR domain. We have chosen to develop a configurable environ...
130
click to vote
ICFEM
2003
Springer
15 years 10 months ago
2003
Springer
Using service-based system descriptions simplifies the specification of complex reactive systems as found in the domain of web-services as well as embedded systems. To support a se...
121
click to vote
AIMSA
2008
Springer
15 years 11 months ago
2008
Springer
This paper presents the Agent MOdeling LAnguage (AMOLA). This language provides the syntax and semantics for creating models of multi-agent systems covering the analysis and design...