Sciweavers

1000 search results - page 90 / 200
» Relationship Model of Abstractions Used for Developing Domai...
Sort
View
123
Voted
COMPSAC
2007
IEEE
15 years 10 months ago
Ontologies, JavaBeans and Relational Databases for enabling semantic programming
Knowledge-based software engineering enables a programmer to integrate rich semantics in the software development process. In this work, we show how an OWL/RDF knowledge base can ...
Ioannis N. Athanasiadis, Ferdinando Villa, Andrea ...
141
Voted
FMCO
2006
Springer
109views Formal Methods» more  FMCO 2006»
15 years 7 months ago
Model-Based Testing of Environmental Conformance of Components
Abstract. In component-based development, the correctness of a system depends on the correctness of the individual components and on their interactions. Model-based testing is a wa...
Lars Frantzen, Jan Tretmans
122
Voted
SAFECOMP
2007
Springer
15 years 9 months ago
Using Deductive Cause-Consequence Analysis (DCCA) with SCADE
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
Matthias Güdemann, Frank Ortmeier, Wolfgang R...
138
Voted
IJCAI
1989
15 years 4 months ago
Functional Representation of Designs and Redesign Problem Solving
gn problem can be abstractly characterized as a constrained function-to-structure mapping. The de­ sign task takes as input the specifications of the desired functions of a device...
Ashok K. Goel, B. Chandrasekaran
130
Voted
BMCBI
2006
114views more  BMCBI 2006»
15 years 3 months ago
A high level interface to SCOP and ASTRAL implemented in Python
Background: Benchmarking algorithms in structural bioinformatics often involves the construction of datasets of proteins with given sequence and structural properties. The SCOP da...
James A. Casbon, Gavin E. Crooks, Mansoor A. S. Sa...