Sciweavers

6348 search results - page 247 / 1270
» A Lesson for Software Engineering from Knowledge Engineering
Sort
View
SAC
2006
ACM
15 years 10 months ago
Domotic house gateway
This paper presents a domotic house gateway capable of seamlessly interacting with different devices from heterogeneous domotic systems and appliances. Such a gateway also provide...
Paolo Pellegrino, Dario Bonino, Fulvio Corno
APSEC
1998
IEEE
15 years 8 months ago
An Automatic Test Case Generator Derived from State-Based Testing
This paper describes an automated approach to generating test cases for an object-oriented class. The approach is derived from state-based testing methods and refers to a state ma...
Bor-Yuan Tsai, Simon Stobart, Norman Parrington, I...
KBSE
1998
IEEE
15 years 8 months ago
From Z to BON/Eiffel
It is shown how to make a transition from the Z formal notation [3] to the Business Object Notation (BON) [4]. It is demonstrated that BON has the expressive power of Z, with the ...
Richard F. Paige, Jonathan S. Ostroff
EUROMICRO
1997
IEEE
15 years 8 months ago
What computer architecture can learn from computational intelligence-and vice versa
This paper considers whether the seemingly disparate fields of Computational Intelligence (CI) and computer architecture can profit from each others’ principles, results and e...
Ronald Moore, Bernd Klauer, Klaus Waldschmidt
RE
2008
Springer
15 years 3 months ago
Reusing Terminology for Requirements Specifications from WordNet
In order to make requirements comprehensible to humans and as unambiguous as possible, a glossary and/or domain model is needed for defining the terminology used. Unless these are...
Katharina Wolter, Michal Smialek, Daniel Bildhauer...