1153 search results - page 34 / 231 » Compositional Specification Calculus for Information Systems... |
190
Voted
ATC
2010
Springer
15 years 2 months ago
2010
Springer
Service-oriented architecture facilitates rapid development and management of large-scale distributed servicebased systems (SBS), where new workflows are composed of available serv...
120
Voted
ICEIS
2002
IEEE
15 years 8 months ago
2002
IEEE
: Frameworks can be seen as generative since they are intended and well suited to be used as the foundation for the development of a number of applications in the domain captured b...
155
Voted
ICTAC
2009
Springer
15 years 1 months ago
2009
Springer
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...
117
click to vote
JFP
2006
15 years 3 months ago
2006
A huge discrepancy between theory and practice exists in one popular application area of functional programming--spreadsheets. Although spreadsheets are the most frequently used (...
146
Voted
AAI
2000
15 years 3 months ago
2000
This paper introduces a formally specified design of a compositional generic agent model (GAM). This del abstracts from specific application domains; it provides a unified formal ...