Sciweavers

34 search results - page 2 / 7
» Satellite-enabled educational services specification and req...
Sort
View
FM
2006
Springer
142views Formal Methods» more  FM 2006»
13 years 9 months ago
Feature Specification and Static Analysis for Interaction Resolution
While designing a service-oriented system, deciding whether a service interaction is desired or harmful is a subjective choice which depends on the requirements expressed by the us...
Marc Aiguier, Karim Berkani, Pascale Le Gall
HICSS
2003
IEEE
250views Biometrics» more  HICSS 2003»
13 years 10 months ago
A Method for Demand-Driven Information Requirements Analysis in Data Warehousing Projects
Information requirements analysis for data warehouse systems differs significantly from requirements analysis for conventional information systems. Existing data warehouse specifi...
Robert Winter, Bernhard Strauch
OOPSLA
2005
Springer
13 years 11 months ago
GOOAL: an educational object oriented analysis laboratory
Our goal is to enable rapid production of static and dynamic object models from natural language description of problems. Rapid modeling is achieved through automation of analysis...
Hector G. Pérez-González, Jugal K. K...
ERCIMDL
2001
Springer
178views Education» more  ERCIMDL 2001»
13 years 10 months ago
Customizable Retrieval Functions Based on User Tasks in the Cultural Heritage Domain
The cultural heritage domain dealing with digital surrogates of rare and fragile historic artifacts is one of the most promising areas for establishing collaboratories, i.e. shared...
Holger Brocks, Ulrich Thiel, Adelheit Stein, Andre...
SIGSOFT
2001
ACM
14 years 6 months ago
Detecting implied scenarios in message sequence chart specifications
Scenario-based specifications such as Message Sequence Charts (MSCs) are becoming increasingly popular as part of a requirements specification. Scenarios describe how system compo...
Jeff Kramer, Jeff Magee, Sebastián Uchitel