Sciweavers

2835 search results - page 140 / 567
» Common Semantics for Use Cases and Task Models
Sort
View
SPLC
2007
15 years 5 months ago
Product Line Implementation using Aspect-Oriented and Model-Driven Software Development
Software product line engineering aims to reduce development time, effort, cost, and complexity by taking advantage of the commonality within a portfolio of similar products. The ...
Markus Völter, Iris Groher
ISAS
2005
Springer
15 years 9 months ago
Proof-Based System Engineering Using a Virtual System Model
Abstract. This paper provides an overview of Proof-Based System Engineering (PBSE), which aims at improving the current practice of developing computer-based systems. PBSE is of pa...
Martin Biely, Gérard Le Lann, Ulrich Schmid
133
Voted
CONCUR
2006
Springer
15 years 7 months ago
Modeling Timed Concurrent Systems
Timed concurrent systems are widely used in concurrent and distributed real-time software, modeling of hybrid systems, design of hardware systems (using hardware description langua...
Xiaojun Liu, Eleftherios Matsikoudis, Edward A. Le...
ECML
2001
Springer
15 years 8 months ago
Learning of Variability for Invariant Statistical Pattern Recognition
In many applications, modelling techniques are necessary which take into account the inherent variability of given data. In this paper, we present an approach to model class speciï...
Daniel Keysers, Wolfgang Macherey, Jörg Dahme...
EVOW
2009
Springer
15 years 1 months ago
Evolutionary Approaches for Strain Optimization Using Dynamic Models under a Metabolic Engineering Perspective
One of the purposes of Systems Biology is the quantitative modeling of biochemical networks. In this effort, the use of dynamical mathematical models provides for powerful tools in...
Pedro Evangelista, Isabel Rocha, Eugénio C....