Home  - Science - Logic Temporal

Books Baby Camera Phones Computers Games DVD Electronics Kitchen Magazines Music Garden Software Tools Toys Video Apparel & Accessories Jewelry & Watches Musical Instruments Health & Personal Care Beauty Sports & Outdoors Office Products

e99.com Bookstore

Images

Newsgroups

61-61 of 61    Back | 1  | 2  | 3  | 4

A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z

Logic Temporal:     more books (100)

Decision procedures and expressiveness in the temporal logic of branching time (Technical report. University of Texas at Austin. Dept. of Computer Sciences) by E. Allen Emerson, 1985 Temporal-logic theorem proving (Report / Stanford University. Dept. of Computer Science) by Martín Abadi, 1987 Characterizing Kripke structures in temporal logic (Research paper. Carnegie-Mellon University. Computer Science Department) by M. C Browne, 1987 Design verification of sequential machines based on a model checking algorithm of e-free regular temporal logic (Research paper. Carnegie Mellon University. Computer Science Dept) by Hiromi Hiraishi, 1988 Problems concerning fairness and temporal logic for conflict-free petri nets (Technical report. University of Texas at Austin. Dept. of Computer Sciences) by Rodney R Howell, 1987 On the eventuality operator in temporal logic (Technical report. Yale University. Dept. of Computer Science) by Aravinda Prasad Sistla, 1987 Avoiding the state explosion problem in temporal logic model checking algorithms (Research paper. Carnegie Mellon University. Computer Science Dept) by E. M Clarke, 1987 A really temporal logic (Report / Stanford University. Computer Science Dept) by Rajeev Alur, 1989 Temporal logics for abstract semantics (Technical report series. University of Manchester. Dept. of Computer Science) by Michael Fisher, 1987 Temporal logic for proof-carrying code ([Research paper] / Carnegie Mellon University. School of Computer Science) by Andrew Bernard, 2002 Synthesis of hardware elements from propositional temporal interval logic (Technical report. Pennsylvania State University. Dept. of Computer Science) by A. A Aaby, 1988 Semantics for reified temporal logic (Research paper. University of Edinburgh. Department of Artificial Intelligence) by Han Reichgelt, 1986 On parallel programming methodology in GHC: Experience in programming of a proof procedure of temporal logic (Technical report. Institute for New Generation Computing Technology) by Kazuko Takahashi, 1986 Temporal logic programming is complete and expressive (Report / Stanford University. Computer Science Dept) by Marianne Baudinet, 1988

lists with details

61. ScienceDirect - Journal Of Visual Languages & Computing : Engineering The Usabil
    Your browser may not have a PDF reader available. Google recommends visiting our text version of this document.  
    http://linkinghub.elsevier.com/retrieve/pii/S1045926X01902149
    
    Extractions: Formal methods have been seen as ways to improve the quality of the software development process. However, apart from the interesting idea to apply mathematics and logic directly to software development activities, there is an urgent need to create a scientific foundation on which today's software technology practise can be based. We discuss the progress in formal methods and their influence in forming a scientific foundation for software technology. We argue that logics and mathematics provide a scientific basis for software engineering, which leads to a deeper understanding of the development process and a more powerful tool support. We point out, how software engineering methods can be backed up by mathematics. We discuss the benefits of such a mathematical foundation that go far beyond the application of so-called formal methods for the specification and verification of software.

A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z

61-61 of 61    Back | 1  | 2  | 3  | 4