726 search results - page 50 / 146 » Formal Requirements Engineering: Learning from the Students |
118
click to vote
WSC
2001
15 years 3 months ago
2001
A computer aided teaching studio provides a unique environment for teaching an introductory simulation course to manufacturing engineers. Each meeting can consist of an appropriat...
117
click to vote
JKM
2006
15 years 1 months ago
2006
Purpose Knowledge management for space exploration is part of a multi-generational effort. Each mission builds on knowledge from prior missions, and learning is the first step in ...
131
click to vote
PAKM
2000
15 years 3 months ago
2000
The core of the new product development [NPD] process centers on knowledge creation, utilization and the management of knowledge. This manuscript uses a software firm case to esta...
100
click to vote
FM
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. The key to the integration of formal methods into engineering practice is education. In teaching, domain-independent problems -i.e., not requiring prior engineering backg...
103
Voted
CODES
2001
IEEE
15 years 5 months ago
2001
IEEE
Due to rapidly increasing system complexity, shortening time-tomarket, and growing demand for hard real-time systems, formal methods are becoming indispensable in the synthesis of...