9227 search results - page 350 / 1846 » Developing Use Cases from Organizational Modeling |
153
click to vote
APN
2004
Springer
16 years 3 days ago
2004
Springer
We consider the problem of model checking modular Petri nets for the linear time logic LTL-X. An algorithm is presented which can use the synchronisation graph from modular analysi...
186
click to vote
CERA
2002
15 years 6 months ago
2002
: Many industries are shifting from mass production to mass customization, which demands quick response to the needs of individual customers with high quality and low costs. The de...
207
click to vote
WOSP
2005
ACM
16 years 8 days ago
2005
ACM
Software performance based on performance models can be applied at early phases of the software development cycle to characterize the quantitative behavior of software systems. We...
192
click to vote
BIBE
2003
IEEE
16 years 11 hour ago
2003
IEEE
We examine the organizational impact on phylogenetic databases of the increasing sophistication in the need and use of phylogenetic data. A primary issue is the use of the unnorma...
199
click to vote
ICSEA
2007
IEEE
16 years 1 months ago
2007
IEEE
Test case generation is an expensive, tedious, and errorprone process in software testing. In this paper, test case generation is accomplished using an Extended Finite State Machi...