Sciweavers

4359 search results - page 444 / 872
» Automated Pipeline Design
Sort
View
DLOG
2003
15 years 8 months ago
Detecting Inconsistencies between UML Models Using Description Logic
An object-oriented software design is often modelled as a collection of UML diagrams. There is an inherent need to preserve the consistency between these diagrams. Moreover, throu...
Ragnhild Van Der Straeten, Jocelyn Simmonds, Tom M...
SNPD
2003
15 years 8 months ago
Application of Behavior-Preserving Transformations to Improve Non-Functional Properties of an Architecture Specification
In particular for safety critical systems it is necessary to make sure that the non-functional properties imposed by a system architecture meet the corresponding requirements as e...
Lars Grunske
DLOG
1996
15 years 8 months ago
Description Logic as Core Machinery for the Automatic Generation of Multilingual Technical Documents
Our project aims at the automatic generation of multilingual text for product maintenance and documentation from a structured knowledge representation. The language independent re...
Thorsten Liebig, Dietmar Rösner
DLOG
2009
15 years 4 months ago
Reintroducing CEL as an OWL 2 EL Reasoner
The CEL system is known for its scalability of reasoning in the lightweight DL EL++ which has been proved suitable for several ontology applications, most notably from the life sci...
Julian Mendez, Boontawee Suntisrivaraporn
HICSS
2011
IEEE
279views Biometrics» more  HICSS 2011»
14 years 10 months ago
A Rule-Based Natural Language Technique for Requirements Discovery and Classification in Open-Source Software Development Projec
Open source projects do have requirements; they are, however, mostly informal, text descriptions found in requests, forums, and other correspondence. Understanding of such require...
Radu Vlas, William N. Robinson