Sciweavers

5180 search results - page 202 / 1036
» Requirements Engineering
Sort
View
FM
2009
Springer
171views Formal Methods» more  FM 2009»
15 years 10 months ago
Formal Management of CAD/CAM Processes
Abstract. Systematic engineering design processes have many aspects in common with software engineering, with CAD/CAM objects replacing program code as the implementation stage of ...
Michael Kohlhase, Johannes Lemburg, Lutz Schrö...
AGILEDC
2005
IEEE
15 years 9 months ago
Student Experiences with Executable Acceptance Testing
This report describes experiences of introducing executable acceptance testing in senior software engineering courses. Students in an agile environment completed a five-iteration ...
Kris Read, Grigori Melnik, Frank Maurer
CSEE
2009
Springer
15 years 8 months ago
Using Quality Audits to Assess Software Course Projects
Assessing software engineering course projects should evaluate the achievement of proposed goals, as well as the compliance with mandated standards and processes. This might requi...
Wilson Padua
GECCO
2007
Springer
132views Optimization» more  GECCO 2007»
15 years 10 months ago
The multi-objective next release problem
This paper is concerned with the Multi-Objective Next Release Problem (MONRP), a problem in search-based requirements engineering. Previous work has considered only single objecti...
Yuanyuan Zhang, Mark Harman, S. Afshin Mansouri
SAC
2011
ACM
14 years 6 months ago
A semantically rich approach for collaborative model edition
We propose a novel approach and tool for collaborative software engineering and development. In model-based software engineering, the underlying data structure is a complex, direc...
Jonathan Michaux, Xavier Blanc, Marc Shapiro, Pier...