Sciweavers

5630 search results - page 18 / 1126
» Computability in Specification
Sort
View
CIC
2004
114views Communications» more  CIC 2004»
13 years 11 months ago
Design of Distributed Component Frameworks for Computational Grids
The Common Component Architecture (CCA) defines a specification for the implementation of frameworks to support component-based high performance applications. The same framework s...
Madhusudhan Govindaraju, Himanshu Bari, Michael J....
BIRTHDAY
2008
Springer
13 years 11 months ago
Observability Concepts in Abstract Data Type Specification, 30 Years Later
ility concepts in abstract data type specification, 30 years later Donald Sannella1 and Andrzej Tarlecki2,3 1 Laboratory for Foundations of Computer Science, University of Edinburg...
Donald Sannella, Andrzej Tarlecki
SEKE
1995
Springer
14 years 1 months ago
Computational Mechanisms for Distributed Requirements Engineering
This paper argues for new computational mechanisms to aid specification of requirements for composite systems. It presents mechanisms for storing specification fragments, or viewp...
Neil A. M. Maiden, Alistair G. Sutcliffe, Petia As...
ICDCSW
2009
IEEE
14 years 4 months ago
Domain Specific Languages (DSLs) for Network Protocols (Position Paper)
Saleem Bhatti, Edwin Brady, Kevin Hammond, James M...