Sciweavers

22698 search results - page 82 / 4540
» Modeling in Software Engineering
Sort
View
146
Voted
FM
2009
Springer
153views Formal Methods» more  FM 2009»
15 years 9 days 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
143
Voted
MEDES
2009
ACM
15 years 9 months ago
Integrated service engineering workbench: service engineering for digital ecosystems
The evolution of service-oriented architectures towards digital ecosystems comprehends a number of challenges. According to Papazoglou et al., one challenge is to develop services...
Gregor Scheithauer, Konrad Voigt, Veli Bicer, Matt...
CORR
2007
Springer
132views Education» more  CORR 2007»
15 years 2 months ago
Spreadsheet Engineering: A Research Framework
Spreadsheet engineering adapts the lessons of software engineering to spreadsheets, providing eight principles as a framework for organizing spreadsheet programming recommendation...
Thomas A. Grossman
106
Voted
WWW
2006
ACM
16 years 3 months ago
Towards DSL-based web engineering
Strong user involvement and clear business objectives, both relying on efficient communication between the developers and the business, are key factors for a project's succes...
Martin Nussbaumer, Patrick Freudenstein, Martin Ga...
76
Voted
RE
2005
Springer
15 years 8 months ago
ST-Tool: A CASE Tool for Security Requirements Engineering
Security Requirements Engineering is emerging as a branch of Software Engineering, spurred by the realization that security must be dealt with early on during the requirements pha...
Paolo Giorgini, Fabio Massacci, John Mylopoulos, N...