49 treff

programspesifikasjon
Bruk av substitusjonssystemer til formelle bevis Appendiks
Vihovde, Eva Hadler
Bok Bokmål 1989 · Vis mer
BSK : en metode for å spesifisere krav til datasystemer
av Trond Johansen
Bok Bokmål 1982 · Les boka på nett · Vis mer
Software requirements & specifications : a lexicon of practice, principles, and prejudices
Jackson, M.A.
Bok Engelsk 1995 · Vis mer
Executing temporal logic programs
B. E. Moszkowski
Bok Språk ikke angitt 1986 · Vis mer
Software Requirements
Wiegers, Karl E.
Bok Engelsk 2009 · Vis mer
Vis flere utgaver
Vis flere utgaver
Writing better requirements
Alexander, Ian F..
Bok Engelsk 2002 · Vis mer
Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings
International Conference on Formal Engineering Methods
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 : proceedings
International Conference on Formal Engineering Methods
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
Formal methods and software engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings
International Conference on Formal Engineering Methods
Bok Engelsk 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver
Software requirements : practical techniques for gathering and managing requirements throughout the product development cycle
Karl E. Wiegers
Bok Engelsk 2003 · Vis mer
TEDIUM and the software process
Bruce I. Blum
Bok Språk ikke angitt 1990 · Vis mer
Interactive theorem proving and program development : Coq'Art: the calculus of inductive constructions
Yves Bertot, Pierre Castéran ; foreword b...
Bok Engelsk 2004 · Vis mer
Integration of software specification techniques for applications in engineering : priority program SoftSpez of the German Research Foundation (DFG) : final report
Hartmut Ehrig ... [et al.] (eds.)
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Refinement calculus : a systematic introduction
Ralph-Johan Back, Joakim von Wright
Bok Engelsk 1998 · Vis mer
The B-book : assigning programs to meanings
Abrial, Jean-Raymond
Bok Engelsk 1996 · Vis mer
Logic program synthesis and transformation : 6th international workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996 : proceedings
LOPSTR '96
Bok Engelsk 1997 · Vis mer
Blockchain-oriented requirements engineering : a framework
Demi, Selina
Bok Engelsk · Les boka på nett · Vis mer
Formal methods at the crossroads : from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers
Bernhard K. Aichernig, Tom Maibaum (eds.)...
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
Software specification methods : an overview using a case study
Marc Frappier and Henri Habrias (eds)
Bok Engelsk 2001 · Vis mer
Program specification and verification techniques : kap. 1 og kap. 2
Ole-Johan Dahl
Bok Engelsk 1990 · Vis mer
Program specification and verification techniques Part II
Dahl, Ole-Johan, 1931-2002
Bok Engelsk 1990 · Vis mer
Program specification and verification techniques Del I
Dahl, Ole-Johan
Bok Engelsk 1988 · Vis mer
Colloquium on Trees in Algebra and Programming (CAAP '91)
CAAP
Bok Engelsk 1991 · Vis mer
Standards, guidelines, and examples on system and software requirements engineering
edited by Merlin Dorfman and Richard H. T...
Bok Engelsk 1990 · Vis mer
Formal program development : IFIP TC 2/WG 2.1 state-of-the-art report
Bernhard Möller, Helmut Partsch, Steve Sc...
Bok Engelsk 1993 · Vis mer
META-IV : a formal meta-language for abstract software specification
Dines Bjørner
Bok Engelsk 1976 · Vis mer
Operational analysis of sequence diagram specifications
by Mass Soldal Lund
Bok Engelsk 2008 · Vis mer
STAIRS : understanding and developing specifications expressed as UML interaction diagrams
Ragnhild Kobro Runde
Bok Engelsk 2007 · Vis mer
Vis flere utgaver
Vis flere utgaver
Verification : theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday
Nachum Dershowitz (ed.)
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
A handbook of software and systems engineering : empirical observations, laws and theories
Albert Endres, Dieter Rombach
Bok Engelsk 2003 · Vis mer