2878 search results - page 60 / 576 » Analyzing the Uses of a Software Modeling Tool |
201
click to vote
SEMCO
2009
IEEE
16 years 15 days ago
2009
IEEE
— In this paper we present an automated support for software model evolution using a formal language constructs. For this, we extended Object Constraint Language (OCL) with actio...
130
click to vote
WSC
2004
15 years 7 months ago
2004
To assist the decision makers, we develop a new supply chain simulation software: Easy-SC, a Java-based tool that simplifies the supply chain simulation. In its current state of d...
208
click to vote
RE
2010
Springer
15 years 15 days ago
2010
Springer
Natural language is the main presentation means in industrial requirements documents. This leads to the fact that requirements documents are often incomplete and inconsistent. Desp...
188
click to vote
IWPC
2008
IEEE
16 years 4 days ago
2008
IEEE
Many program comprehension tools use graphs to visualize and analyze source code. The main issue is that existing approaches create graphs overloaded with too much information. Gr...
158
click to vote
SIGSOFT
1996
ACM
15 years 10 months ago
1996
ACM
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...