Sciweavers

1792 search results - page 300 / 359
» Ontology Modeling Using UML
Sort
View
FASE
2009
Springer
14 years 1 months ago
Interface Generation and Compositional Verification in JavaPathfinder
Abstract. We present a novel algorithm for interface generation of software components. Given a component, our algorithm uses learning techniques to compute a permissive interface ...
Dimitra Giannakopoulou, Corina S. Pasareanu
GI
2009
Springer
14 years 1 months ago
Applying Concept-Driven Engineering for Business Process Specifications
: This paper presents the principles of concept-driven engineering and the ConceptManager tool as an implementation of these principles. Concept-Driven Engineering is capable of el...
Peggy Schmidt, Marion Behrens, Sebastian Kowski
RE
2008
Springer
13 years 9 months ago
Rule-Based Maintenance of Post-Requirements Traceability Relations
An accurate set of traceability relations between software development artifacts is desirable to support evolutionary development. However, even where an initial set of traceabili...
Patrick Mäder, Orlena Gotel, Ilka Philippow
WISE
2005
Springer
14 years 3 months ago
Peer-to-Peer Technology Usage in Web Service Discovery and Matchmaking
This paper presents a dynamic and scalable mechanism for discovery of semantically enriched descriptions of Web services. By employing Web Service Modeling Ontology (WSMO) as the u...
Brahmananda Sapkota, Laurentiu Vasiliu, Ioan Toma,...
FLAIRS
2007
14 years 9 days ago
Document Semantic Annotation for Intelligent Tutoring Systems: A Concept Mapping Approach
The difficulty of domain knowledge acquisition is one of the most sensible challenges of intelligent tutoring systems. Relying on domain experts and building domain models from sc...
Amal Zouaq, Roger Nkambou, Claude Frasson