Sciweavers

Share
ISSRE
2002
IEEE
9 years 11 months ago
Saturation Effects in Testing of Formal Models
Formal analysis of software is a powerful analysis tool, but can be too costly. Random search of formal models can reduce that cost, but is theoretically incomplete. However, rand...
Tim Menzies, David Owen, Bojan Cukic
FM
2003
Springer
104views Formal Methods» more  FM 2003»
9 years 12 months ago
Proving the Shalls
Incomplete, inaccurate, ambiguous, and volatile requirements have plagued the software industry since its inception. The convergence of model-based development and formal methods o...
Steven P. Miller, Alan C. Tribble, Mats Per Erik H...
ERSHOV
2003
Springer
9 years 12 months ago
Combining Aspects of Reactive Systems
For reactive systems, a large collection of formal models has been developed. While the formal relationship between those models is often carefully analyzed, the methodical implica...
Leonid Kof, Bernhard Schätz
KBSE
2003
IEEE
10 years 1 days ago
A Model-Driven Approach to Non-Functional Analysis of Software Architectures
We present an approach to managing formal models using Model Driven Architecture (MDA) technologies that delivers analysis techniques through integration with the design tools and...
James Skene, Wolfgang Emmerich
EWSA
2005
Springer
10 years 8 days ago
Context-Awareness in Software Architectures
The growing importance of context-awareness in the construction of adaptable systems requires the development of formal models and notations that can bring this new dimension from ...
Antónia Lopes, José Luiz Fiadeiro
ER
2005
Springer
146views Database» more  ER 2005»
10 years 9 days ago
Kuaba Ontology: Design Rationale Representation and Reuse in Model-Based Designs
This paper presents the Kuaba Ontology, a knowledge representation model for Design Rationale described in an ontology definition language. The representation of this model in a sp...
Adriana Pereira de Medeiros, Daniel Schwabe, Bruno...
ECBS
2006
IEEE
143views Hardware» more  ECBS 2006»
10 years 25 days ago
Requirements Engineering for the Adviser Portal Bank System
The Adviser Portal (AP) is a new IT system for 15 Danish banks. The main goal of AP is to increase the efficiency and quality of bank advisers’ work. Requirements engineering fo...
Jens Bæk Jørgensen, Kristian Bisgaard...
GECCO
2007
Springer
157views Optimization» more  GECCO 2007»
10 years 28 days ago
Convergence phases, variance trajectories, and runtime analysis of continuous EDAs
Considering the available body of literature on continuous EDAs, one must state that many important questions are still unanswered, e.g.: How do continuous EDAs really work, and h...
Jörn Grahl, Peter A. N. Bosman, Stefan Minner
B
2007
Springer
10 years 28 days 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
AH
2008
Springer
10 years 1 months ago
A Validation Framework for Formal Models in Adaptive Work-Integrated Learning
The focus of my thesis is on the development of a multi-method framework for the validation of formal models (domain model, user model, and teaching model) for adaptive work-integr...
Barbara Kump
books