Zobrazeno 1 - 10
of 16
pro vyhledávání: '"Owen Traynor"'
Autor:
Maria, Lanyi, Jonathan, Elmer, Francis X, Guyette, Christian, Martin-Gill, Arvind, Venkat, Owen, Traynor, Heather, Walker, Kristen, Seaman, Patrick M, Kochanek, Ericka L, Fink
Publikováno v:
Pediatric Emergency Care. 38:417-422
Children with traumatic arrests represent almost one third of annual pediatric out-of-hospital cardiac arrests (OHCAs). However, traumatic arrests are often excluded from study populations because survival posttraumatic arrest is thought to be neglig
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9123ba98b05ca22586711d292417164c
https://doi.org/10.1097/pec.0000000000002806
https://doi.org/10.1097/pec.0000000000002806
Publikováno v:
Algebraic Methodology and Software Technology ISBN: 9783540638889
AMAST
AMAST
The Cogito system provides comprehensive support for the development of specifications written in the Sum language (a modular extension of Z). The tool-set provides technology to aid in the construction, analysis and development of Sum specifications
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7f020e75f322ee51061588f47ede772c
https://ora.ox.ac.uk/objects/uuid:f2ac1d22-04b1-4303-b91f-9f5327ba285b
https://ora.ox.ac.uk/objects/uuid:f2ac1d22-04b1-4303-b91f-9f5327ba285b
Publikováno v:
International Journal of Software Engineering and Knowledge Engineering. :599-617
Cogito 1 is the first iteration of a Z-based integrated methodology and support system for formal software development. This paper gives an overview of the Cogito methodology and associated tools. Particular emphasis is placed on the way in which Cog
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1b7f0fa8b41ce481c9819e170538d313
https://doi.org/10.1142/s0218194095000290
https://doi.org/10.1142/s0218194095000290
Publikováno v:
Lecture Notes in Computer Science ISBN: 3540548688
VDM Europe (2)
VDM Europe (2)
In the methodology of PROgram development by SPECification and TRAnsformation, algebraic specifications are the basis for constructing correct and efficient programs by gradual transformation. The combination of algebraic specification and functional
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0b6cb82c920c99e63581a72ba0d9c8a9
https://doi.org/10.1007/bfb0020000
https://doi.org/10.1007/bfb0020000
Publikováno v:
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering.
Transformations are functions over programs that adhere to some program refinement relation. The power of transformations stems, in the first instance, from the flexibility available within the transformation system for representing design decisions,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f4a6243517d8ba86397ff2c4863643bc
https://doi.org/10.1109/seke.1992.227953
https://doi.org/10.1109/seke.1992.227953
Autor:
R. Morello, Peter A. Lindsay, F. Linn, P. Kearney, Owen Traynor, Kelvin J. Ross, T. Hart, G. Royle
Publikováno v:
APSEC
Reports on a collaborative project to pilot the use of formal methods in the development of safety-related software. Using the SVRC's Cogito methodology, staff from CSC Australia undertook: formal specification; validation of the specification by mat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::caca735164b606583c92568754c089b0
https://doi.org/10.1109/apsec.1996.566758
https://doi.org/10.1109/apsec.1996.566758
Publikováno v:
APSEC
Cogito I is the first iteration of a Z-based integrated development methodology and support system for formal software development. This paper gives an overview of the Cogito methodology and associated tools. Particular emphasis is placed on the way
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::126fda0caba17170588c388817afa19c
https://doi.org/10.1109/apsec.1994.465245
https://doi.org/10.1109/apsec.1994.465245
A generic model for fine grained configuration management including version control and traceability
Publikováno v:
Australian Software Engineering Conference
This paper describes the implementation of a prototype system that supports fine-grained configuration and version management. The development has been undertaken in the context of providing trusted support for high-integrity software development. Th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c89debb4874726e43b96d2ea67376a35
https://doi.org/10.1109/aswec.1997.623752
https://doi.org/10.1109/aswec.1997.623752
Autor:
Peter A. Lindsay, Owen Traynor
Publikováno v:
System Configuration Management ISBN: 9783540647331
SCM
SCM
This paper describes the facilities currently available to support auditing and traceability within a system which provides fine-grained configuration and version management. We contend that the relationship between the configuration management syste
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1b4542428404436ecd58a4e4e0d0f646
https://doi.org/10.1007/bfb0053884
https://doi.org/10.1007/bfb0053884
Publikováno v:
Program Development by Specification and Transformation ISBN: 9783540567332
PROSPECTRA Book
PROSPECTRA Book
This chapter relates the uniformity of the methodological approach to program and meta-program development (for transformation, proof and development tactics, command language, even library access and system configuration, cf. part I chapter 1) to th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3607181683ddb6d1015ddfc9f1fe4b19
https://doi.org/10.1007/3-540-56733-x_155
https://doi.org/10.1007/3-540-56733-x_155