Sciweavers

5668 search results - page 179 / 1134
» Overlaps in Requirements Engineering
Sort
View
138
Voted
CORR
2008
Springer
114views Education» more  CORR 2008»
15 years 3 months ago
Investigating the Potential of Test-Driven Development for Spreadsheet Engineering
It is widely documented that the absence of a structured approach to spreadsheet engineering is a key factor in the high level of spreadsheet errors. In this paper we propose and ...
Alan Rust, Brian Bishop, Kevin McDaid
117
Voted
IEEEARES
2007
IEEE
15 years 10 months ago
Pastures: Towards Usable Security Policy Engineering
Whether a particular computing installation meets its security goals depends on whether the administrators can create a policy that expresses these goals—security in practice re...
Sergey Bratus, Alex Ferguson, Doug McIlroy, Sean W...
130
Voted
B
2007
Springer
15 years 9 months ago
A Generic Flash-Based Animation Engine for ProB
Abstract. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods. In the process of specifying a...
Jens Bendisposto, Michael Leuschel
124
Voted
ASAP
2006
IEEE
147views Hardware» more  ASAP 2006»
15 years 9 months ago
The Molen FemtoJava Engine
This paper presents the Molen FemtoJava engine that is extended with concepts taken from the Molen polymorphic processor. This allows for the existing FemtoJava to be augmented wi...
Júlio C. B. de Mattos, Stephan Wong, Luigi ...
107
Voted
MSR
2005
ACM
15 years 9 months ago
Text mining for software engineering: how analyst feedback impacts final results
The mining of textual artifacts is requisite for many important activities in software engineering: tracing of requirements; retrieval of components from a repository; location of...
Jane Huffman Hayes, Alex Dekhtyar, Senthil Karthik...