Sciweavers

12670 search results - page 97 / 2534
» Requirements Modeling
Sort
View
RE
2004
Springer
15 years 7 months ago
Visual Variability Analysis for Goal Models
One of the benefits of goal-oriented requirements engineering is the possibility of conducting formal analysis in order to evaluate alternative solutions of goal models. Superfici...
Bruno González-Baixauli, Julio Cesar Sampai...
RE
2006
Springer
15 years 2 months ago
Improving the Modeling of Use Case Relationship
Use-cases often capture the expected behaviors of a system and its components. During requirements analysis, it is important to understand and model the relationship among differe...
Jian Tang, Donglin Liang
127
Voted
NIPS
2008
15 years 3 months ago
Cascaded Classification Models: Combining Models for Holistic Scene Understanding
One of the original goals of computer vision was to fully understand a natural scene. This requires solving several sub-problems simultaneously, including object detection, region...
Geremy Heitz, Stephen Gould, Ashutosh Saxena, Daph...
146
Voted
FM
2009
Springer
153views Formal Methods» more  FM 2009»
15 years 7 days 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
126
Voted
CW
2004
IEEE
15 years 6 months ago
Interactive Function-Based Shape Modeling for Cyberworlds
Shared virtual worlds require exchanging shape models over the Internet. Since complex shapes such as VRML objects are often defined with polygonal meshes, the size of models may ...
Konstantin Levinski, Alexei Sourin