Sciweavers

258 search results - page 22 / 52
» Creating Semantic Representations of Diagrams
Sort
View
SCESM
2006
ACM
239views Algorithms» more  SCESM 2006»
15 years 7 months ago
Aspect-oriented software design with a variant of UML/STD
The notion of aspect is important as a systematic approach to the representation of cross-cutting concerns and the incremental additions of new functionalities to an existing syst...
Shin Nakajima, Tetsuo Tamai
107
Voted
RSP
2000
IEEE
108views Control Systems» more  RSP 2000»
15 years 6 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
115
Voted
VL
2010
IEEE
173views Visual Languages» more  VL 2010»
15 years 6 days ago
Modular Design by Contract Visually and Formally Using VCL
Visual representations are widely used to describe modern-day software systems, but, in most cases, they lack rigour. This paper addresses the problems of formality, rigour and co...
Nuno Amálio, Pierre Kelsen
LREC
2008
170views Education» more  LREC 2008»
15 years 3 months ago
A Semantic Memory for Incremental Ontology Population
Generally, ontology learning and population is applied as a semi-automatic approach to knowledge acquisition in natural language understanding systems. That means, after the ontol...
Berenike Loos, Lasse Schwarten
110
Voted
FM
2001
Springer
108views Formal Methods» more  FM 2001»
15 years 6 months ago
Improvements in BDD-Based Reachability Analysis of Timed Automata
To develop efficient algorithms for the reachability analysis of timed automata, a promising approach is to use binary decision diagrams (BDDs) as data structure for the representa...
Dirk Beyer