29 treff

programspesifikasjon notrbib real002719
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
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 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
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
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
Static analysis : 11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings
International Static Analysis Symposium
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Static analysis : 10th international symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003 : proceedings
International Static Analysis Symposium
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
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
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
Standards, guidelines, and examples on system and software requirements engineering
edited by Merlin Dorfman and Richard H. T...
Bok Engelsk 1990 · 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
Perspectives of system informatics : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003 : revised papers
International Andrei Ershov Memorial Conference
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
ZB 2003 : formal specification and development in Z and B : third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003 : proceedings
International Conference of B and Z Users
Bok Engelsk 2003 · Vis mer
ZB 2002 : formal specification and development in Z and B : 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002 : proceedings
International Conference of B and Z Users
Bok Engelsk 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver
Static analysis : 9th international symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings
International Static Analysis Symposium
Bok Engelsk 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver
Modular specification and verification of object-oriented programs
Peter Müller
Bok Engelsk 2002 · Vis mer
Static analysis : 8th international symposium, SAS 2001, Paris, France, July 16-18, 2001 : proceedings
International Static Analysis Symposium
Bok Engelsk 2001 · Vis mer
ZB 2000 : formal specification and development in Z and B : first International Conference of B and Z Users, York, UK, August 29- September 2, 2000 : proceedings
International Conference of B and Z Users
Bok Engelsk 2000 · Vis mer
Static analysis : 7th international symposium, SAS 2000, Santa Barbara, CA, USA, June 29-July 1, 2000 : proceedings
International Static Analysis Symposium
Bok Engelsk 2000 · Vis mer
Static analysis : 6th international symposium, SAS'99, Venice, Italy , September 22-24, 1999 : proceedings
International Static Analysis Symposium
Bok Engelsk 1999 · Vis mer
Formal specification of distributed multimedia systems
Gordon Blair ... [et al.]
Bok Engelsk 1998 · Vis mer
Programming from specifications
Morgan, C.C.
Bok Engelsk 1990 · Vis mer
Vis flere utgaver
Vis flere utgaver