Sciweavers

2500 search results - page 106 / 500
» Specifying Behavior in C
Sort
View
HICSS
2005
IEEE
140views Biometrics» more  HICSS 2005»
15 years 3 months ago
A Role-Based Framework for Business Process Modeling
Business objects are object-oriented representations of the concepts of interest in an organization, such as activities, resources and actors. Business objects collaborate with on...
Artur Caetano, Marielba Zacarias, António R...
ISCIS
2004
Springer
15 years 3 months ago
Software Testing via Model Checking
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
Fevzi Belli, Baris Güldali
ITS
2004
Springer
204views Multimedia» more  ITS 2004»
15 years 3 months ago
FlexiTrainer: A Visual Authoring Framework for Case-Based Intelligent Tutoring Systems
The need for rapid and cost-effective development Intelligent Tutoring Systems with flexible pedagogical approaches has led to a demand for authoring tools. The authoring systems ...
Sowmya Ramachandran, Emilio Remolina, Daniel Fu
CODES
1996
IEEE
15 years 2 months ago
Uninterpreted Co-Simulation for Performance Evaluation of Hw/Sw Systems
Performance modeling and evaluation of embedded hardware/software systems is important to help the CoDesign process. The hardware/software partitioning needs to be evaluated befor...
Jean Paul Calvez, Dominique Heller, Olivier Pasqui...
ICRE
2000
IEEE
15 years 1 months ago
A Lightweight Approach to Consistency of Scenarios and Class Models
Today, object-oriented requirements specifications typically combine a scenario (or use case) model and a class model for expressing functional requirements. With any such combina...
Martin Glinz