Sciweavers

3021 search results - page 60 / 605
» A Domain Engineering Approach for Situational Method Enginee...
Sort
View
KBSE
2000
IEEE
15 years 4 months ago
New Visual Interface for Engineering Use Case Models
This paper describes a new approach to visualization of scenarios within the use case-based engineering of functional requirements – the so-called Video Camera metaphor. The Vid...
Nikolai Mansurov, Dmitri Vasura
ASWEC
2010
IEEE
15 years 1 days ago
Non-Monotonic Model Completion in Web Application Engineering
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...
Jevon M. Wright, Jens Dietrich
FM
2009
Springer
153views Formal Methods» more  FM 2009»
14 years 9 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
CEC
2009
IEEE
15 years 6 months ago
Bio-inspired reverse engineering of regulatory networks
— Regulatory networks are complex networks. This paper addresses the challenge of modelling these networks. The Boolean representation is chosen and supported as a representation...
Cristina Costa Santini, Gunnar Tufte, Pauline C. H...
ICWS
2010
IEEE
15 years 1 months ago
DISCE: A Declarative Inter-ESB Service-Connectivity Configuration Engine
The service-oriented architecture (SOA) has been successfully applied in enterprise environments. Due to decentralized set-ups, mergers and acquisitions and organizational boundar...
Kristijan Dragicevic, Luis Garcés-Erice, Da...