4349 search results - page 92 / 870 » A Comprehensive Process Model for Studying Software Process ... |
NC
2010
14 years 8 months ago
2010
This paper presents two approaches based on metabolic and stochastic P systems, together with their associated analysis methods, for modelling biological systems and illustrates th...
109
click to vote
ASWEC
1998
IEEE
15 years 2 months ago
1998
IEEE
This paper reports the results from an action research project which studies the benefits of documenting the evolution and the rationale for the evolution of a requirements specif...
105
click to vote
BIS
2009
14 years 11 months ago
2009
Abstract. Social software is known to stimulate the exchange and sharing of information among peers. This paper describes how an existing system that supports process builders in c...
WWW
2009
ACM
15 years 10 months ago
2009
ACM
This paper formulates a collaborative system for modeling business application. The system uses a Semantic Wiki to enable collaboration between the various stakeholders involved i...
TASE
2008
IEEE
15 years 4 months ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...