Sciweavers

5228 search results - page 36 / 1046
» Case Studies for Software Engineers
Sort
View
SEFM
2007
IEEE
15 years 10 months ago
Verifying the Mondex Case Study
The Mondex Case study is still the most substantial contribution to the Grand Challenge repository. It has been the target of a number of formal verification efforts. Those effor...
Peter H. Schmitt, Isabel Tonin
128
Voted
RE
2006
Springer
15 years 3 months ago
A Case Study in Systematic Improvement of Language for Requirements
The challenges to requirements from linguistic factors are well-known. This work concerns an approach to communicating requirements with greater fidelity among stakeholders throug...
Kimberly S. Wasson
116
Voted
ICSE
2009
IEEE-ACM
15 years 8 months ago
Experiments on the Test Case Length in Specification Based Test Case Generation
Gordon Fraser, Angelo Gargantini
129
Voted
ACE
2004
163views Education» more  ACE 2004»
15 years 5 months ago
Adventure Cycles A Software Engineering Approach
In this paper we discuss using a case study to demonstrate the software engineering process from requirements, specification, preliminary user manual, prototyping, design, impleme...
John Paynter, Emma Sharkey