Sciweavers

325 search results - page 6 / 65
» Visual Specification of Metrics for Domain Specific Visual L...
Sort
View
JOT
2008
142views more  JOT 2008»
14 years 11 months ago
cmUML - A UML based Framework for Formal Specification of Concurrent, Reactive Systems
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specif...
Jagadish Suryadevara, Lawrence Chung, R. K. Shyama...
VL
1996
IEEE
123views Visual Languages» more  VL 1996»
15 years 3 months ago
GenEd - An Editor with Generic Semantics for Formal Reasoning about Visual Notations
We describe the object-oriented editor GenEd supporting the design of specifications for visual notations. Prominent features of GenEd are (1) it is generic, i.e. domain-specific ...
Volker Haarslev, Michael Wessel
VL
2002
IEEE
129views Visual Languages» more  VL 2002»
15 years 4 months ago
A Data Mapping Specification Environment Using a Concrete Business Form-Based Metaphor
Many systems require data transformation – the conversion of complex data from one format to another. Most current approaches require programming, scripting bstract visual speci...
Yongqiang Li, John C. Grundy, Robert Amor, John G....
SEKE
1995
Springer
15 years 3 months ago
Visual Scenarios for Validation of Requirements Specification
The development of a large information system is generally regarded as one of the most complex activities undertaken by organizations and it is dependent on the communication and u...
V. Lalioti, Babis Theodoulidis