2878 search results - page 24 / 576 » Analyzing the Uses of a Software Modeling Tool |
ICSE
2008
IEEE-ACM
15 years 10 months ago
2008
IEEE-ACM
This paper shows how software engineering technologies used to define and analyze complex software systems can also be effective in detecting defects in human-intensive processes ...
MAGS
2008
14 years 9 months ago
2008
Process calculi are mathematical tools used for modeling and analyzing the structure and behavior of reactive systems. One such calculus, called APi-calculus (an extension to Pi-ca...
OOPSLA
2005
Springer
15 years 3 months ago
2005
Springer
Feature-based model templates have been proposed as a technique for modeling software product lines. We describe a set of tools supporting the technique, namely a feature model ed...
IJON
2002
14 years 9 months ago
2002
We describe a software-engineering strategy called the `View-Primitive Data Model framework' (or `VPDMf') derived from the design of leading commercial software engineer...
67
Voted
FSTTCS
2008
Springer
14 years 10 months ago
2008
Springer
A sup-interpretation is a tool which provides upper bounds on the size of the values computed by the function symbols of a program. Sup-interpretations have shown their interest to...