Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Kelvin J. Ross"'
Autor:
Peter A. Lindsay, Kelvin J. Ross
Publikováno v:
Lecture Notes in Computer Science ISBN: 3540566627
FME
FME
Configuration Management is an integral requirement of the Software Engineering process. This paper outlines an approach to Configuration Management specifically tailored to support formal development of software. A model of VDM developments is defin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b3665eb75377c3286dff49556e2ff8c7
https://doi.org/10.1007/bfb0024667
https://doi.org/10.1007/bfb0024667
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
Autor:
Kelvin J. Ross
Publikováno v:
Electronic Workshops in Computing.
This paper considers aspects of Software Configuration Management (SCM) in its role of supporting configurations that arise in development of software using the refinement calculus. From an SCM perspective, the primary difference between formal devel
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::83baca209c4bcab4c802c9ff1058b90a
https://doi.org/10.14236/ewic/rw1996.13
https://doi.org/10.14236/ewic/rw1996.13
Autor:
Peter A. Lindsay, Kelvin J. Ross
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540585558
FME
FME
For large software developments, process modelling can be used to guide and monitor the use of development tools. This paper explores the addition of “behavioural properties” to process models as a means for reasoning about the status of a softwa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::56cbe113260d910a252c327431e15376
https://doi.org/10.1007/3-540-58555-9_99
https://doi.org/10.1007/3-540-58555-9_99