Sciweavers

138 search results - page 14 / 28
» Modelling Object Typicality in Description Logics
Sort
View
141
Voted
ASE
2008
135views more  ASE 2008»
15 years 5 months ago
Deriving event-based transition systems from goal-oriented requirements models
Goal-oriented methods are increasingly popular for elaborating software requirements. They offer systematic support for incrementally building intentional, structural, and operati...
Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebasti&...
CAISE
2004
Springer
15 years 10 months ago
Information Modeling and Higher-order Types
: While some information modeling approaches (e.g. the Relational Model, and Object-Role Modeling) are typically formalized using first-order logic, other approaches to information...
Terry A. Halpin
UML
2004
Springer
15 years 10 months ago
Supporting Model Refactorings Through Behaviour Inheritance Consistencies
Abstract. This paper addresses the problem of consistency preservation in model-driven software development. Software models typically embody many different views that need to be ...
Ragnhild Van Der Straeten, Viviane Jonckers, Tom M...
ICSE
2001
IEEE-ACM
15 years 9 months ago
A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints
In requirements elicitation, different stakeholders often hold different views of how a proposed system should behave, resulting in inconsistencies between their descriptions. Con...
Steve M. Easterbrook, Marsha Chechik
144
Voted
ICCSA
2005
Springer
15 years 10 months ago
Evolutionary Algorithm for Congestion Problem in Connection-Oriented Networks
The major objective of this paper is to deploy an effective evolutionary algorithm (EA) for the congestion problem in connection-oriented networks. The network flow is modeled as n...
Michal Przewozniczek, Krzysztof Walkowiak