1988 search results - page 196 / 398 » Engineering formal metatheory |
158
click to vote
FASE
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. In model-based development, a formal description of the software (the model) is the central artifact that drives other development activities. The availability of a model...
163
click to vote
ISSTA
2006
ACM
16 years 17 days ago
2006
ACM
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...
192
click to vote
CSMR
2005
IEEE
16 years 6 days ago
2005
IEEE
Wrapping databases allows them to be reused in formerly unplanned contexts, such as web-based applications or federated systems. Indeed, a wrapper can provide external clients of ...
166
click to vote
ICECCS
2005
IEEE
16 years 6 days ago
2005
IEEE
Live Sequence Charts (LSCs) are a broad extension to Message Sequence Charts (MSCs) to capture complex interobject communication rigorously. A tool support for LSCs, named PlayEng...
154
click to vote
IUI
2005
ACM
16 years 5 days ago
2005
ACM
A new generation of intelligent applications can be enabled by broad-coverage knowledge repositories about everyday objects. We distill lessons in design of intelligent user inter...