2878 search results - page 4 / 576 » Analyzing the Uses of a Software Modeling Tool |
SIMUTOOLS
2008
13 years 7 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
ISPW
2011
IEEE
12 years 9 months ago
2011
IEEE
Software process models are sophisticated and large specifications aimed at organizing and managing software development. Their formal specification demands an enormous effort,...
FASE
2003
Springer
13 years 11 months ago
2003
Springer
Scenarios are powerful tools to model and analyze software systems. However, since they do not provide a complete description of the system, but just some possible execution paths,...
KBSE
2000
IEEE
13 years 10 months ago
2000
IEEE
Lightweight formal modeling and automatic analysis were used to explore the design of the Intentional Naming System (INS), a new scheme for resource discovery in a dynamic network...
ISSTA
2006
ACM
13 years 11 months ago
2006
ACM
The backbone of many architectures is an architectural style that provides a domain-specific design vocabulary and set of constraints on how that vocabulary can be used. Hence, d...