Sciweavers

1781 search results - page 220 / 357
» An Emerging Need for a New Software Engineering Method
Sort
View
KI
2007
Springer
16 years 21 days ago
Knowledge-Based Approach to the Executable Design Concept
The paper describes the Executable Design Concept which is one of the main components of HeKatE: Hybrid Knowledge Engineering methodology. HeKatE project aims at developing a metho...
Grzegorz J. Nalepa, Igor Wojnicki
ICFEM
2005
Springer
16 years 2 days ago
Visualizing and Simulating Semantic Web Services Ontologies
The development of Web Services has transformed the World Wide Web into a more application-aware information portal. The various standards ensure that Web Services are interpretabl...
Jun Sun 0001, Yuan-Fang Li, Hai H. Wang, Jing Sun
AADEBUG
2005
Springer
15 years 8 months ago
Random testing of C calling conventions
In a C compiler, function calls are difficult to implement correctly because they must respect a platform-specific calling convention. But they are governed by a simple invariant...
Christian Lindig
SAC
1998
ACM
15 years 10 months ago
Object oriented process modeling with fuzzy logic
Fuzzy Logic has traditionally found an application in control theory, systems analysis, and artificial intelligence [9] [7]. However, it is very difficult to apply it to tradition...
Luigi Benedicenti, Giancarlo Succi, Tullio Vernazz...
ISSS
2000
IEEE
109views Hardware» more  ISSS 2000»
15 years 11 months ago
Verification of Embedded Systems using a Petri Net based Representation
The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness, New verification methods that o...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...