Sciweavers

2878 search results - page 66 / 576
» Analyzing the Uses of a Software Modeling Tool
Sort
View
ISSRE
2000
IEEE
14 years 14 days ago
Can Intuition Become Rigorous? Foundations for UML Model Verification Tools
The Unified Modeling Language, UML, is the objectoriented notation adopted as the standard for objectoriented Analysis and Design by the Object Management Group. This paper report...
José Luis Fernández Alemán, J...
SIGSOFT
2006
ACM
14 years 2 months ago
Memories of bug fixes
The change history of a software project contains a rich collection of code changes that record previous development experience. Changes that fix bugs are especially interesting, ...
Sunghun Kim, Kai Pan, E. James Whitehead Jr.
WSC
1998
13 years 9 months ago
Advanced Uses for Micro Saint Simulation Software
Simulation is fast becoming THE software tool for the 1990's. More companies each year are taking advantage of the ease of use of simulation software and see the benefits to ...
Catherine Drury Barnes, K. Ronald Laughery Jr.
ICST
2010
IEEE
13 years 6 months ago
GraphSeq: A Graph Matching Tool for the Extraction of Mobility Patterns
Mobile computing systems provide new challenges for verification. One of them is the dynamicity of the system structure, with mobility-induced connections and disconnections, dynam...
Minh Duc Nguyen, Hélène Waeselynck, ...
MMNS
2000
98views Multimedia» more  MMNS 2000»
13 years 9 months ago
Automating Internet Routing Behavior Analysis Using Public WWW Traceroute Services
: Growing dependence of commerce, industry and academia on the Internet underlines importance of analyzing its behavior. Changing Internet structure makes the gathered data quickly...
Selim Gurun, Boleslaw K. Szymanski