Sciweavers

3024 search results - page 49 / 605
» Requirement Engineering in Service-Oriented System Engineeri...
Sort
View
JSW
2008
163views more  JSW 2008»
15 years 4 months ago
Model-Driven User Requirements Specification using SysML
Requirements engineering is an important phase in a system's life cycle. When poorly performed, various problems may occur, such as failures, cost overrun and delays. The incr...
Michel dos Santos Soares, Jos L. M. Vrancken
SFM
2009
Springer
150views Formal Methods» more  SFM 2009»
15 years 10 months ago
Contract-Based Discovery and Composition of Web Services
In the context of Service Oriented Computing behavioural contracts are descriptions of the observable message-passing behaviour of services. In other terms, contracts are behaviour...
Mario Bravetti, Gianluigi Zavattaro
IWPSE
2010
IEEE
15 years 2 months ago
An automated hint generation approach for supporting the evolution of requirements specifications
Updating the requirements specification during software evolution is a manual and expensive task. Therefore, software engineers usually choose to apply modifications directly to t...
Eya Ben Charrada, Martin Glinz
138
Voted
ICSE
2007
IEEE-ACM
16 years 4 months ago
DECIMAL and PLFaultCAT: From Product-Line Requirements to Product-Line Member Software Fault Trees
PLFaultCAT is a tool for software fault tree analysis (SFTA) during product-line engineering. When linked with DECIMAL, a product-line requirements verification tool, the enhanced...
Josh Dehlinger, Meredith Humphrey, Lada Suvorov, P...
APWEB
2006
Springer
15 years 7 months ago
Visual Description Conversion for Enhancing Search Engines and Navigational Systems
In using web search engines, there are cases where the name of the target object is unavailable, and the user can only give the visual descriptions of the object. The existing keyw...
Taro Tezuka, Katsumi Tanaka