Abstract | ||
---|---|---|
The way that refinement of individual "local" components of a specification relates to development of a "global" system from a specification of requirements is explored. Observational interpretation of specifications and refinements add expressive power and flexibility while bringing in some subtle problems. The results are instantiated in the context of Casl architectural specifications. |
Year | Venue | Keywords |
---|---|---|
2002 | MFCS | observational interpretation,casl architectural specification,local observational construction,expressive power,subtle problem,global development |
Field | DocType | Volume |
Specification language,Algebraic specification,Observational study,International development,Programming language,Computer science,Amalgamation property,Expressive power,Software development | Conference | 2420 |
ISSN | ISBN | Citations |
0302-9743 | 3-540-44040-2 | 5 |
PageRank | References | Authors |
0.55 | 23 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Michel Bidoit | 1 | 641 | 56.55 |
Donald Sannella | 2 | 223 | 12.98 |
Andrzej Tarlecki | 3 | 1514 | 124.61 |