1153 search results - page 71 / 231 » Compositional Specification Calculus for Information Systems... |
137
click to vote
WSR
2008
15 years 5 months ago
2008
: Traceability of various artifacts created during the development of software systems plays an important role in software evolution. Subsequent changes to artifacts must be traced...
116
click to vote
ASSETS
2006
ACM
15 years 7 months ago
2006
ACM
Assistive technology for wayfinding will significantly improve the quality of life for many individuals with cognitive impairments. The user interface of such a system is as cruci...
175
click to vote
SAC
2010
ACM
15 years 10 months ago
2010
ACM
A software product line (SPL) is a set of software systems with well-defined commonalities and variabilities that are developed by managed reuse of common artifacts. In this pape...
124
click to vote
WWW
2005
ACM
16 years 4 months ago
2005
ACM
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...
149
click to vote
COMPSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
Service-based systems have many applications, such as collaborative research and development, e-business, health care, military applications, and homeland security. In dynamic ser...