Sciweavers

3441 search results - page 212 / 689
» Provenance of Software Development Processes
Sort
View
CSEE
2003
Springer
15 years 9 months ago
An Experimental Card Game for Teaching Software Engineering
The typical software engineering course consists of lectures in which concepts and theories are conveyed, along with a small “toy” software engineering project which attempts ...
Alex Baker, Emily Oh Navarro, André van der...
ICSE
1999
IEEE-ACM
15 years 8 months ago
A Practical Method for Verifying Event-Driven Software
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
Gerard J. Holzmann, Margaret H. Smith
SIGSOFT
2010
ACM
15 years 2 months ago
Community-based, collaborative testing and analysis
This article proposes a research agenda aimed at enabling optimized testing and analysis processes and tools to support component-based software development communities. We hypoth...
Atif M. Memon, Adam A. Porter, Alan Sussman
136
Voted
ICSE
2008
IEEE-ACM
16 years 4 months ago
Towards individualized software engineering: empirical studies should collect psychometrics
Even though software is developed by humans, research in software engineering primarily focuses on the technologies, methods and processes they use while disregarding the importan...
Robert Feldt, Richard Torkar, Lefteris Angelis, Ma...
SOPR
2002
106views more  SOPR 2002»
15 years 3 months ago
A discrete simulation model for assessing software project scheduling policies
Good project scheduling is an essential, but extremely hard task in software management practice. In a software project, the time needed to complete some development activity is d...
Frank Padberg