Sciweavers

408 search results - page 30 / 82
» On Formal Requirements Modeling Languages: RML Revisited
Sort
View
MODELS
2009
Springer
14 years 2 months ago
Limitations of Automating Model Migration in Response to Metamodel Adaptation
In consequence of changing requirements and technological progress, modeling languages are subject to change. When their metamodels are adapted to reflect those changes, existing ...
Markus Herrmannsdoerfer, Daniel Ratiu
WWW
2005
ACM
14 years 8 months ago
OWL DL vs. OWL flight: conceptual modeling and reasoning for the semantic Web
The Semantic Web languages RDFS and OWL have been around for some time now. However, the presence of these languages has not brought the breakthrough of the Semantic Web the creat...
Axel Polleres, Dieter Fensel, Jos de Bruijn, Rub&e...
HYBRID
2010
Springer
14 years 20 days ago
Safe compositional network sketches: formal framework
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
Azer Bestavros, Assaf J. Kfoury, Andrei Lapets, Mi...
EPEW
2008
Springer
13 years 9 months ago
Natural Language Specification of Performance Trees
The accessible specification of performance queries is a key challenge in performance analysis. To this end, we seek to combine the intuitive aspects of natural language query spec...
Lei Wang 0002, Nicholas J. Dingle, William J. Knot...
IASTEDSE
2004
13 years 9 months ago
Using application domain ontology to construct an initial system model
This paper describes a case study on application of natural language processing in very early stages of the requirements engineering. In our previous work [7] we have shown how na...
Leonid Kof