Sciweavers

5180 search results - page 145 / 1036
» Requirements Engineering
Sort
View
155
Voted
FM
2009
Springer
153views Formal Methods» more  FM 2009»
15 years 1 months ago
Iterative Refinement of Reverse-Engineered Models by Model-Based Testing
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
Neil Walkinshaw, John Derrick, Qiang Guo
113
Voted
ECIS
2000
15 years 5 months ago
On Some Epistemological Problems of Software Engineering
The paper addresses some misconceptions of Software Engineering, requirements analysis and modelling in particular, due to underlying epistemological flaws., e.g. the believe that...
Peter Schefe
129
Voted
WER
2004
Springer
15 years 9 months ago
Designing Communication-intensive Web Applications: a Case Study
Who uses requirements engineering and design methodologies besides the people who invented them? Are researchers - at least - actually trying to use them in real-world complex proj...
Vito Perrone, Davide Bolchini
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...
154
Voted
CAI
2000
Springer
15 years 3 months ago
Schema Evolution in Software Engineering Databases - a New Approach in Adele Environment
Abstract. This paper discusses schema evolution in software engineering databases. After a study of existing approaches, we show that these approaches do not satisfy software engin...
Mohamed Ahmed-Nacer, Jacky Estublier