Sciweavers

726 search results - page 3 / 146
» Formal Requirements Engineering: Learning from the Students
Sort
View
SEFM
2003
IEEE
14 years 11 days ago
From Requirements to Design: Formalizing the Key Steps
Despite the advances in software engineering since 1968, current methods for going from a set of functional requirements to a design are not as direct, repeatable and constructive...
R. Geoff Dromey
TSE
1998
129views more  TSE 1998»
13 years 6 months ago
Inferring Declarative Requirements Specifications from Operational Scenarios
—Scenarios are increasingly recognized as an effective means for eliciting, validating, and documenting software requirements. This paper concentrates on the use of scenarios for...
Axel van Lamsweerde, Laurent Willemet
CSEE
2009
Springer
14 years 1 months ago
A Global and Competition-Based Model for Fostering Technical and Soft Skills in Software Engineering Education
The project experience described in this paper builds upon three years of running global software development projects in an educational setting. It explicitly addresses some of t...
Olly Gotel, Vidya Kulkarni, Moniphal Say, Christel...
JFP
2007
126views more  JFP 2007»
13 years 7 months ago
Engineering Software Correctness
Software engineering courses offer one of many opportunities for providing students with a significant experience in declarative programming. This report discusses some results fr...
Rex L. Page
EDUTAINMENT
2007
Springer
14 years 1 months ago
UML in Action: Integrating Formal Methods in Industrial Design Education
When designing product behavior, the designer often needs to communicate to experts in computer software and protocols. In present-day software engineering, formal specification m...
Jun Hu, Philip Ross, Loe M. G. Feijs, Yuechen Qian