Sciweavers

1527 search results - page 9 / 306
» From Requirements to Design: Formalizing the Key Steps
Sort
View
ICALT
2006
IEEE
14 years 1 months ago
CPM: A UML Profile to Design Cooperative PBL Situations at Didactical Level
In this paper, we present our research results about a UML-based modeling language dedicated to Problem-Based Learning design. The CPM (Cooperative Problem-Based learning Metamode...
Thierry Nodenot, Pierre Laforcade
ROMAN
2007
IEEE
144views Robotics» more  ROMAN 2007»
14 years 1 months ago
Eliciting Requirements for a Robotic Toy for Children with Autism - Results from User Panels
— The discussion presented in this paper is part of our investigation in the IROMEC project which recognizes the important role of play in child development. The project investig...
Ben Robins, Nuno Otero, Ester Ferrari, Kerstin Dau...
EKAW
2006
Springer
13 years 11 months ago
From Natural Language to Formal Proof Goal
Guidelines (Extended abstract) Ruud Stegers1 , Annette ten Teije1 , and Frank van Harmelen1 Vrije Universiteit, Amsterdam The main problem encountered when starting verification of...
Ruud Stegers, Annette ten Teije, Frank van Harmele...
ECBS
2006
IEEE
158views Hardware» more  ECBS 2006»
14 years 1 months ago
Automated Translation of C/C++ Models into a Synchronous Formalism
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...
Hamoudi Kalla, Jean-Pierre Talpin, David Berner, L...
DNIS
2007
Springer
103views Database» more  DNIS 2007»
14 years 1 months ago
A Formalism for Navigating and Editing XML Document Structure
The use of XML has become pervasive. It is used in a range of data storage and data exchange applications. In many cases such XML data is captured from users via forms or transform...
Frithjof Dau, Mark Sifer