Sciweavers

105 search results - page 15 / 21
» On a Graph-Based Semantics for UML Class and Object Diagrams
Sort
View
RE
2010
Springer
13 years 2 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
ACISICIS
2007
IEEE
14 years 1 months ago
ORN Additive: Shrinking the Gap between Database Modeling and Implementation
ORN Additive is a prototype tool that was developed to show how the gap between database modeling and implementation can be reduced—more specifically, to show how associations d...
Bryon K. Ehlmann
VL
1994
IEEE
159views Visual Languages» more  VL 1994»
13 years 11 months ago
Interaction in Really Graphical User Interfaces
Employing diagrams in the UI causes problems that don't exist in so called Graphical User Interfaces. We are implementing a tool for generating editors for a certain class of...
Gerhard Viehstaedt, Mark Minas
FMOODS
2008
13 years 9 months ago
Symbolic Step Encodings for Object Based Communicating State Machines
In this work, novel symbolic step encodings of the transition relation for object based communicating state machines are presented. This class of systems is tailored to capture the...
Jori Dubrovin, Tommi A. Junttila, Keijo Heljanko
RSP
2000
IEEE
108views Control Systems» more  RSP 2000»
13 years 12 months ago
Using MetaScribe to Prototype an UML to C++/Ada95 Code Generator
: The use of program generation from graphical representations like UML is increasing in software projects. The notion of hypergenericity is raising up to improve program generator...
Dan Marius Regep, Fabrice Kordon