Juan C. Bicarregui  Home/Search
Context Related
| cs.man.ac.uk/pub/TR...UMCS95101.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.man.ac.uk/cstec...UMCS95101 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Compositionality provides the key to managing complexity in software systems and thus should be sought at all levels in the design process. In the development of code from model-oriented specifications, compositionality can not only be achieved by the decomposition of system specifications into modules but may also arise within the development of individual modules. (Update)
Context of citations to this paper: More
...high and low security components are related to the presence of a (power) bisimulation between the corresponding operations or traces, c.f. [11] and [41] Notably, a strong connection between entailment along bisimulation and interpolation has recently been brought into...
Cited by: More
Interpolation in Practical Formal - Development Juan Bicarregui (Correct)
The VDM Bibliography - Larsen (1996) (Correct)
Interpolation in Practical Formal Development - Bicarregui, Dimitrakos (2000) (Correct)
Similar documents (at the sentence level):
7.8%: Algorithm Refinement with Read and Write Frames - Bicarregui (1993) (Correct)
Active bibliography (related documents): More All
0.7: Invariants, Frames and Postconditions: a Comparison of the.. - Juan Bicarregui And (Correct)
0.6: An Object-Oriented Approach to Formal Specification - Smith (1992) (Correct)
0.3: Approximation Algorithms for Facility Location Problems - Jens Vygen (2005) (Correct)
Similar documents based on text: More All
1.0: The Algebraic Theory of Interaction Nets - Banach (1995) (Correct)
1.0: Enhancing the Tractability of Rely/Guarantee Specifications.. - Collette, Jones (1995) (Correct)
1.0: The Evolution of Polygenic Sex Determination with Potential.. - Hatcher, Tofts (1995) (Correct)
Related documents from co-citation: More All
5: British Standards Institution (context) - Language, ProtoStandard - 1990
4: Technical report - Feature, Formalism - 1992
4: Yves Ledru and Pierre-Yves Schobbens (context) - Lafontaine - 1990
BibTeX entry: (Update)
J.C. Bicarregui. Intra-Modular Structuring in Model-Oriented Specification: Expressing Non-Interference with Read and Write Frames. PhD thesis, University of Manchester, 1995. (UMCS-95-10-1). http://citeseer.ist.psu.edu/bicarregui95intramodular.html More
@phdthesis{ bicarregui95intramodular,
author = "Juan Bicarregui",
title = "{Intra-Modular Structuring in Model-Oriented Specification: Expressing Non-Interference with Read and Write Frames}",
year = "1995",
url = "citeseer.ist.psu.edu/bicarregui95intramodular.html" }
Citations (may not include all citations):1933 Communication and Concurrency (context) - Milner - 1989
652 A Discipline of Programming (context) - Dijkstra - 1976
373 Cambridge University Press (context) - Hardy, Apology - 1992
357 Algebraic laws for non-determinism and concurrency (context) - Hennessy, Milner - 1985
293 Programming From Specifications (context) - Morgan - 1990
265 Secure computer system: Unified exposition and multics inter.. (context) - Bell, LaPadula - 1976
135 A theoretical basis for stepwise refinement and the programm.. (context) - Morris - 1987
119 The Raise Language Group. The Raise Specification Language (context) - Language, Raise et al. - 1992
114 A calculus of refinements for program derivations (context) - Back - 1988
83 Cambridge University Press (context) - Abrial - 1995
83 Automating the generation and sequencing of test cases from .. (context) - Dick, Faivre - 1993
78 Specification and design (context) - Jones - 1983
76 Specification Case Studies (context) - Hayes - 1993
61 Tentative steps towards a development method for interfering.. (context) - Jones - 1983
44 Data refinement refined (context) - Hoare, Hayes et al. - 1985
40 Proof in VDM -- A Practitioner's Guide (context) - Bicarregui, Fitzgerald et al. - 1994
40 Software Development a Rigorous Approach (context) - Jones - 1980
34 The specification statement (context) - Morgan - 1988
31 and the refinement calculus (context) - King - 1990
28 Cambridge University Press (context) - Spivey - 1988
24 Duality in specification languages: A latticetheoretical app.. (context) - Back, von Wright - 1990
22 frames and postconditions: a comparison of the VDM and B not.. (context) - Bicarregui, Ritchie - 1993
19 Adding specification constructors to the refinement calculus (context) - Ward - 1993
18 An object based design method for concurrent programs - Jones - 1992
11 First Committee Draft Standard: CD (context) - Programming, -- et al. - 1993
10 Basic Theorems about Security (context) - Jacob - 1992
9 The formalization and analysis of a communications protocol... (context) - Bruns, Anderson - 1994
8 Reasoning about VDM developments using the VDM support tool .. (context) - Bicarregui, Ritchie - 1991
8 Technical Monograph PRG (context) - Morgan, Robinson et al. - 1988
6 VDM proof obligations and their justification (context) - Jones - 1987
5 Modularity in Model-Oriented Formal Specifications and its I.. (context) - Fitzgerald - 1991
5 Data refinement by miracles (context) - Morgan - 1988
5 Algorithm refinement with read and write frames - Bicarregui - 1993
4 Operation semantics with read and write frames (context) - Bicarregui - 1994
3 Development Methods for Computer Programmes Including a Noti.. (context) - Jones - 1981
3 Digital Systems Research Centre (context) - Adabi, Lamport et al. - 1990
3 Digital Systems Research Centre (context) - Lamport, logic et al. - 1991
3 Proof rules for VDM statements (context) - Milne - 1988
3 Multiprocessor shared-memory information exchange (context) - Santoline, Bowers et al. - 1989
2 Systematic Software Devlopment using VDM (context) - Jones - 1990
2 Systematic Software Devlopment using VDM (context) - Jones - 1990
2 The formalization of a communications protocol (context) - Bruns, Anderson - 1992
2 The formalization of a communications protocol (context) - Bruns, Anderson - 1991
1 Compter Resources International A/S (context) - George, Prehn et al. - 1992
1 The modal mu calculus (context) - Bruns, Anderson - 1992
1 Operation Decomposition Proof Obligations for Blocks and Pro.. (context) - Ah-Kee - 1989
1 Laboratory for Foundations of Computer Science ECS-LFCS (context) - Milner, polyadic et al. - 1991
1 European Research Consortium in Informatics and Mathematics (context) - Bicarregui, Dick et al. - 1994
1 Providing support for the formal development of software (context) - Bicarregui, Ritchie - 1989
1 The Mural proof obligation generation specification (context) - Bicarregui, Ritchie - 1989
1 Translation by C (context) - Wittgenstein, Routledge et al. - 1922
1 Technical Report UMCS (context) - Jones - 1991
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC