1180 search results - page 71 / 236 » Total Functional Software Engineering - Overview Paper |
69
Voted
CODES
2000
IEEE
15 years 3 months ago
2000
IEEE
This paper describes the functional specification and verification portions of El Greco, a system for high-level, heterogeneous functional specification, efficient compiled si...
EWSA
2006
Springer
15 years 2 months ago
2006
Springer
Connectors are used to realize component interactions in component systems. Apart from their primary function, which is mediating the communication, their implementation can also s...
87
Voted
FSTTCS
2009
Springer
15 years 5 months ago
2009
Springer
ABSTRACT. A non-local box is an abstract device into which Alice and Bob input bits x and y respectively and receive outputs a and b respectively, where a, b are uniformly distribu...
UIST
2006
ACM
15 years 5 months ago
2006
ACM
Existing augmentations of web pages are mostly small cosmetic changes (e.g., removing ads) and minor addition of third-party content (e.g., product prices from competing sites). N...
REFSQ
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. The research presented in this paper investigates how observation of information- and communication-intensive work in hospital wards can be used to produce requirements f...