Sciweavers

Share
38 search results - page 1 / 8
» A Toolset for Supporting UML Static and Dynamic Model Checki...
Sort
View
COMPSAC
2002
IEEE
9 years 3 months ago
A Toolset for Supporting UML Static and Dynamic Model Checking
The Uniļ¬ed Modeling Language has become widely accepted as a standard in software development. Several tools have been produced to support UML model validation. However, most of...
Wuwei Shen, Kevin J. Compton, James Huggins
JOT
2008
200views more  JOT 2008»
8 years 10 months ago
Applying Model Checking to Concurrent UML Models
We present, in this paper, a framework supporting a formal verification of concurrent UML models using the Maude language. We consider both static and dynamic features of concurre...
Patrice Gagnon, Farid Mokhati, Mourad Badri
ICECCS
2007
IEEE
154views Hardware» more  ICECCS 2007»
9 years 4 months ago
A light-weight static approach to analyzing UML behavioral properties
Identifying and resolving design problems in the early design phase can help ensure software quality and save costs. There are currently few tools for analyzing designs expressed ...
Lijun Yu, Robert B. France, Indrakshi Ray, Kevin L...
UML
2000
Springer
9 years 1 months ago
Using UML Collaboration Diagrams for Static Checking and Test Generation
Software testing can only be formalized and quanti ed when a solid basis for test generation can be de ned. Tests are commonly generated from program source code, graphical models ...
Aynur Abdurazik, A. Jefferson Offutt
RE
2010
Springer
8 years 5 months ago
A UML-based static verification framework for security
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
Igor Siveroni, Andrea Zisman, George Spanoudakis
books