Sciweavers

183 search results - page 20 / 37
» Survey of Research on Software Clones
Sort
View

Publication
209views
12 years 8 months ago
An Exploratory Study on Open Conversation Spaces in Global Software Engineering
Software engineering is by nature a highly collaborative activity and being able to collaborate effectively is a key factor for project success. However, collaborating effectivel...
Kevin Dullemond, Ben van Gameren, Rini van Solinge...
ADAEUROPE
2001
Springer
14 years 1 months ago
Building Formal Requirements Models for Reliable Software
Requirements engineering (RE) is concerned with the elicitation of the goals to be achieved by the system envisioned, the operationalization of such goals into specifications of se...
Axel van Lamsweerde
CSEE
2009
Springer
14 years 3 months ago
Generic Skills in Software Engineering Master Thesis Projects: Towards Rubric-Based Evaluation
There has been much recent interest in how to help students in higher education develop their generic skills, especially since this is a focus of the Bologna process that aims to ...
Robert Feldt, Martin Höst, Frank Lüders
IFIP
2004
Springer
14 years 2 months ago
Static program transformations for efficient software model checking
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...
Shobha Vasudevan, Jacob A. Abraham
HICSS
2010
IEEE
154views Biometrics» more  HICSS 2010»
14 years 3 months ago
Towards an Understanding of Social Software: The Case of Arinia
This paper presents the case of Arinia, a custommade piece of social software with strong similarities to today’s microblogging applications. Arinia has been in use in a medium-...
Stuart J. Barnes, Martin Böhringer, Christian...