MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Andy Evans" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 32 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Semantics of the Unified Modeling Language  
  • by Tony Clark, Andy Evans — 1976 — IFIP Working Conference on Computer-Aided Design Systems
  • …Object-oriented analysis and design is an increasingly popular software development method. The Unified Modeling Language (UML) has recently been proposed as a standard language for expressing object-oriented designs. Unfortunately, in its present form the UML lacks a precisely defined semantics…
  • Add To MetaCart
  • Specifying Verifying Concurrent Systems Using Z  
  • by Andy S. Evans — 1994 — Proc. FME'94 Industrial Benefits of Formal Methods, volume 873 of Lecture Notes in Computer Science
  • …At present, few guidelines exist for applying the Z notation to concurrent systems, while existing approaches to proving properties of Z specifications of concurrent systems place emphasis on the use of additional formalisms such as temporal logic. This paper proposes a practical and rigorous approa…
  • Cited by 9 (0 self) – Add To MetaCart
  • A Case Study in Specifying, Verifying and Refining a Parallel System in Z  
  • by Andy S. Evans — 1998 — In FMPPTA'97
  • …Introduction The formal specification notation Z [Spi92] is one of the most popular and widely used notations for the specification and development of software and hardware systems. There is a large literature base of industrial case studies that have used Z, growing availability of high quality to…
  • Cited by 4 (0 self) – Add To MetaCart
  • An Assertional Verification Method for Z Specifications of Concurrent Systems  
  • by Andy S. Evans — 1996 — In In Proceedings: ISCIS XI
  • …This paper presents a a set of inference rules for formally proving safety and liveness properties of extended Z specifications of concurrent systems. The rules are based on assertional verification techniques but are implemented in W , the emerging deductive calculus for Z. Thus, they can be verifi…
  • Cited by 1 (1 self) – Add To MetaCart
  • An Improved Recipe for Specifying Reactive Systems in Z  
  • by Andy S. Evans — 1997 — In Z User Meeting (ZUM97), volume 1212 of LNCS
  • …The aim of this paper is to show that this promising approach can be greatly improved and extended upon to the point where it can provide a practical method for specifying reactive systems in Z. It also adds to work originally presented in [Evans, 1996]. The four extensions made are: Genericity; Rea…
  • Cited by 2 (0 self) – Add To MetaCart
  • Modeling by computer  
  • by Tony Clark, Andy Evans — 1976 — IFIP Working Conference on Computer-Aided Design Systems
  • …Object-oriented analysis and design is an increasingly popular software development method. The Unified Modeling Language (UML) has recently been proposed as a standard language for expressing object-oriented designs. Unfortunately, in its present form the UML lacks precisely defined semantics. This…
  • Cited by 3 (0 self) – Add To MetaCart
  • A Review of Frame Technology  
  • by Chris Holmes, Andy Evans — 2003
  • ….holmes@(email omitted); andye@(email omitted); Abstract Frame Technology was introduced during the early 1980’s as an approach…
  • Cited by 2 (0 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB