Sciweavers

2832 search results - page 281 / 567
» Flexible Modelling for Requirements Engineering
Sort
View
POPL
2008
ACM
16 years 7 months ago
Enhancing modular OO verification with separation logic
Conventional specifications for object-oriented (OO) programs must adhere to behavioral subtyping in support of class inheritance and method overriding. However, this requirement ...
Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, She...
ICSOC
2007
Springer
16 years 23 days ago
User-Driven Service Lifecycle Management - Adopting Internet Paradigms in Telecom Services
The user-centric service creation paradigm set out in Web 2.0 technologies on the Internet allows users to define and share their new content and applications. Open services and in...
Juan C. Yelmo, Rubén Trapero, José M...
ISSTA
2006
ACM
16 years 17 days ago
Coverage metrics for requirements-based testing
In black-box testing, one is interested in creating a suite of tests from requirements that adequately exercise the behavior of a software system without regard to the internal st...
Michael W. Whalen, Ajitha Rajan, Mats Per Erik Hei...
272
Voted
FIW
2009
166views Communications» more  FIW 2009»
15 years 4 months ago
Feature Interactions in a Software Product Line for E-voting
A significant number of failures in e-voting systems have arisen because of poorly specified requirements, combined with an ad-hoc approach to engineering multiple variations of si...
J. Paul Gibson, Eric Lallet, Jean-Luc Raffy
FDL
2004
IEEE
15 years 10 months ago
SystemC and OCAPI-xl Based System-Level Design for Reconfigurable Systems-on-Chip
Reconfigurability is becoming an important part of System-on-Chip (SoC) design to cope with the increasing demands for simultaneous flexibility and computational power. Current ha...
Kari Tiensyrjä, Miroslav Cupák, Kostas...