NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 31
  • 6
  • 1
  • Tagged with
  • 42
  • 42
  • 42
  • 42
  • 23
  • 13
  • 11
  • 7
  • 7
  • 7
  • 6
  • 6
  • 6
  • 5
  • 5
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.

Search results

Showing 11 to 20 of 42 (0.066 seconds)

Spelling suggestions: "subject:"bnormal methods (computer science)"" "subject:"bnormal methods (coomputer science)""

11

Formal specification and verification of safety interlock systems : a comparative case study /

Seotsanyana, Motlatsi. January 2007 (has links)
Thesis (MSc)--University of Stellenbosch, 2007. / Bibliography. Also available via the Internet.
12

Runtime verification of composite web services

John, Sheline Anna, January 2008 (has links)
Thesis (M.S.)--University of Texas at El Paso, 2008. / Title from title screen. Vita. CD-ROM. Includes bibliographical references. Also available online.
13

Model checking for open systems a compositional approach to software verification /

Andrade-Gómez, Héctor Adolfo, January 2001 (has links)
Thesis (Ph. D.)--University of Florida, 2001. / Title from first page of PDF file. Document formatted into pages; contains xi, 144 p.; also contains graphics. Vita. Includes bibliographical references (p. 139-143).
14

Efficient and effective symbolic model checking

Iyer, Subramanian Krishnan, January 1900 (has links) (PDF)
Thesis (Ph. D.)--University of Texas at Austin, 2006. / Vita. Includes bibliographical references.
15

High level static analysis of system descriptions for taming verification complexity

Vasudevan, Shobha. January 1900 (has links)
Thesis (Ph. D.)--University of Texas at Austin, 2007. / Vita. Includes bibliographical references.
16

Ethics and the practice of software design

Turilli, Matteo January 2012 (has links)
No description available.
17

Semantic tableaux program

Vadaparty, Sirisha Lakshmi 01 January 2006 (has links)
This project created a program that takes predicate calculus formulas and creates a visual Semantic Tableaux truth tree, thereby proving or disproving a conclusion. Formal methods used in developing and verifying software and hardware are mathematically based techniques for describing and reasoning about system properties. Such formal methods provide frameworks within which people specify, develop, and verify systems in a systematic, rather than ad hoc, manner. Formal methods include the more specific activities of program specification, program verification and hardware verification.
Formal methods (Computer science)
Computer software Development
System design
Computer software Development
Formal methods (Computer science)
System design.
Software Engineering
18

High level static analysis of system descriptions for taming verification complexity

Vasudevan, Shobha 14 June 2012 (has links)
Not available / text
Computer systems
Computer systems--Verification
Formal methods (Computer science)
Computer algorithms
19

Forced simulation : a formal approach to component based development of embedded systems /

Roop, Parthasarathi. January 2000 (has links)
Thesis (Ph. D.)--University of New South Wales, 2000. / Addenda sheet inserted. Includes bibliographic references. Also available online.
20

Practical methodologies for agent-oriented conceptual modelling

Krishna, Aneesh. January 2006 (has links)
Thesis (Ph.D.)--University of Wollongong, 2006. / Typescript. Includes bibliographical references: leaf 153-168.

Page generated in 0.0709 seconds