Sciweavers

1468 search results - page 44 / 294
» On Industrial Use of Requirements Engineering Techniques
Sort
View
ESAW
2009
Springer
15 years 4 months ago
Engineering Agent Organisations in a Business Environment
Abstract. Motivated by demands from the commercial world for software systems that can assist in the reorganisation of processes for the purpose of reducing business complexity, we...
Dimitris Traskas, Julian A. Padget
FM
2009
Springer
153views Formal Methods» more  FM 2009»
14 years 7 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
76
Voted
SCAM
2007
IEEE
15 years 4 months ago
SQuAVisiT: A Software Quality Assessment and Visualisation Toolset
Software quality assessment of large COBOL industrial legacy systems, both for maintenance or migration purposes, mounts a serious challenge. We present the Software Quality Asses...
Serguei A. Roubtsov, Alexandru Telea, Danny Holten
ADBIS
2000
Springer
119views Database» more  ADBIS 2000»
15 years 2 months ago
A Benchmarking Technique for DBMS's with Advanced Data Models
The majority of database benchmarks currently in use in the industry were designed for relational databases. A different class of benchmarks became required for object oriented dat...
Naphtali Rishe, Alexander Vaschillo, Dmitry Vasile...
ATAL
2008
Springer
14 years 11 months ago
A multi-agent simulation system for prediction and scheduling of aero engine overhaul
The Aero Repair and Overhaul industry is facing an increasing challenge of prediction and scheduling of engine overhauls to remain competitive in a complex business arena. An appr...
Armin Stranjak, Partha Sarathi Dutta, Mark Ebden, ...