Zobrazeno 1 - 10
of 21
pro vyhledávání: '"Luke Wildman"'
Autor:
Luke Wildman
A specification of a software program, hardware component, or system, is a description of what the system is required to do without describing how it is to be done. Specifications provide the necessary details for system developers, suppliers, users
Externí odkaz:
http://espace.library.uq.edu.au/view/UQ:185286
Autor:
L. Ron Hubbard, Orson Scott Card, Kristine Kathryn Rusch, Jody Lynn Nye, Craig Elliott, Christopher Bowthorpe, John M. Campbell, Elizabeth Chatsworth, Ryan Cole, Anj Dockrey, Erik Lynd, Barbara Lund, Sara Fox, Elaine Midcoh, Brittany Rainsdon, Trent Walters, Emma Washburn, Luke Wildman, David Farland
The Sci-Fi and Fantasy of Tomorrow Selected by Masters of Today
28 Award-winning Authors and Illustrators Get ready to get carried away... to places no one has ever gone before. Turn the page... from dark fantasy to dystopian nightmare, from magica
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:
Concurrency and Computation: Practice and Experience. 19:281-294
The Java programming language supports concurrency. Concurrent programs are harder to verify than their sequential counterparts due to their inherent non-determinism and a number of specific concurrency problems, such as interference and deadlock. In
Publikováno v:
Computer. 39:61-68
Communications devices for government or military applications must keep data secure, even when their electronic components fail. Combining information flow and risk analyses could make fault-mode evaluations for such devices more efficient and cost-
Publikováno v:
Formal Aspects of Computing. 15:258-279
The refinement calculus is a well-established theory for deriving program code from specifications. Recent research has extended the theory to handle timing requirements, as well as functional ones, and we have developed an interactive programming to
Autor:
Colin J. Fidge, Luke Wildman
Publikováno v:
Electronic Notes in Theoretical Computer Science. 70(3):21-36
The refinement calculus is a well-established theory for translating specifications to program code. Recent research has extended the calculus to handle real-time requirements and we have developed an interactive support tool based on these extension
Publikováno v:
Model Driven Architecture – Foundations and Applications ISBN: 9783540690955
ECMDA-FA
ECMDA-FA
Railroad interlocking software drives specialised micro-devices, known as interlocking controllers. These controllers primarily actuate railroad points and change signal aspects in real-time, based on sensor and timer input. Due to their central func
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e3e83ee7cab0683ed34fee51424702f0
https://doi.org/10.1007/978-3-540-69100-6_24
https://doi.org/10.1007/978-3-540-69100-6_24
Publikováno v:
Australian Software Engineering Conference
Testing SCADA (supervisory control and data acquisition) near real-time systems is challenging, as it involves complex interactions and the simulation of the supervised and controlled environment. Model-driven testing techniques can help to achieve c
Publikováno v:
ASWEC
Verifying concurrent Java programs is difficult due to the many possible interleavings of threads and a number of specific concurrency defects such as interference and deadlock. To verify concurrent Java components, the TestCon method combines code i