Sciweavers

726 search results - page 118 / 146
» Formal Requirements Engineering: Learning from the Students
Sort
View
SIGCSE
2010
ACM
187views Education» more  SIGCSE 2010»
15 years 5 months ago
Game-themed programming assignments for faculty: a case study
Despite the proven success of using computer video games as a context for teaching introductory programming (CS1/2) courses, barriers including the lack of adoptable materials, re...
Cinnamon Hillyard, Robin Angotti, Michael Panitz, ...
SIGIR
2005
ACM
15 years 5 months ago
Surrogate scoring for improved metasearch precision
We describe a method for improving the precision of metasearch results based upon scoring the visual features of documents' surrogate representations. These surrogate scores ...
Steven M. Beitzel, Eric C. Jensen, Ophir Frieder, ...
DATE
2010
IEEE
153views Hardware» more  DATE 2010»
15 years 4 months ago
Taming the component timing: A CBD methodology for real-time embedded systems
—The growing trend towards using component based design approach in embedded system development requires addressing newer system engineering challenges. These systems are usually...
Manoj G. Dixit, Pallab Dasgupta, S. Ramesh
INAP
2001
Springer
15 years 4 months ago
Towards Reconciling Use Cases via Controlled Language and Graphical Models
Abstract. In requirements engineering use cases are employed to describe the ow of events and the occurrence of states in a future information system. Use cases consist of a set of...
Kathrin Böttger, Rolf Schwitter, Diego Moll&a...
WIRTSCHAFTSINFORMATI
2007
15 years 29 days ago
An Ontology Framework for Semantic Business Process Management
A core challenge in Business Process Management is the continuous, bi-directional translation between (1) a business requirements view on the process space of an enterprise and (2...
Martin Hepp, Dumitru Roman