Sciweavers

12670 search results - page 174 / 2534
» Requirements Modeling
Sort
View
ICST
2009
IEEE
15 years 1 months ago
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
Emine G. Aydal, Richard F. Paige, Mark Utting, Jim...
89
Voted
ICECCS
2008
IEEE
115views Hardware» more  ICECCS 2008»
15 years 10 months ago
Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework
This paper discusses the requirements that a suitable formalism for dependability modeling/evaluation should possess. We also discuss the outline of Arcade, an architectural depen...
Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haver...
124
Voted
ECML
2004
Springer
15 years 9 months ago
Model Approximation for HEXQ Hierarchical Reinforcement Learning
HEXQ is a reinforcement learning algorithm that discovers hierarchical structure automatically. The generated task hierarchy repthe problem at different levels of abstraction. In ...
Bernhard Hengst
133
Voted
UML
2000
Springer
15 years 7 months ago
Reconciling the Needs of Architectural Description with Object-Modeling Notations
Complex software systems require expressive notations for representing their software architectures. Two competing paths have emerged. One is to use a specialized notation for arc...
David Garlan, Andrew Kompanek
132
Voted
ACL
2001
15 years 5 months ago
A Statistical Model for Domain-Independent Text Segmentation
We propose a statistical method that finds the maximum-probability segmentation of a given text. This method does not require training data because it estimates probabilities from...
Masao Utiyama, Hitoshi Isahara