32 treff

formell spesifikasjon
Formell spesifisering og realisering av ISO OSI TP ved bruk av Estelle. 2. Appendiks A-E
Dragland, Sturla
Bok Bokmål 1991 · Vis mer
Formell spesifisering og realisering av ISO OSI TP ved bruk av Estelle. 3. Appendiks F og G
Dragland, Sturla
Bok Bokmål 1991 · Vis mer
STACS 97 : 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27-March 1, 1997 : proceedings
Symposium on Theoretical Aspects of Computer Science
Bok Engelsk 1997 · Vis mer
Recent trends in data type specification : 11th Workshop on Specification of Abstract Data Types joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995 : selected papers
Workshop on Specification of Abstract Data Types
Bok Engelsk 1996 · Vis mer
ECOOP'97 - object-oriented programming : 11th European conference, Jyväskylä, Finland, June 9-13, 1997 : proceedings
European Conference on Object-Oriented Programming
Bok Engelsk 1997 · Vis mer
Petri nets for systems engineering : a guide to modeling, verification, and applications
Claude Girault, Rüdiger Valk
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
META-IV : a formal meta-language for abstract software specification
Dines Bjørner
Bok Engelsk 1976 · Vis mer
Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday
Hans-Jörg Kreowski ... [et al.] (eds.)
Bok Engelsk 2005 · Vis mer
Logic and specification : extending VDM-SL for advanced formal specification
Middelburg, Cornelis Adam
Bok Engelsk 1993 · Vis mer
Formal description techniques : proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, 6-9 September, 1988
FORTE '88
Bok Språk ikke angitt 1989 · Vis mer
Software abstraction principles : as applied to operating system command language specification
Dines Bjørner
Bok Engelsk 1976 · Vis mer
Operational analysis of sequence diagram specifications
by Mass Soldal Lund
Bok Engelsk 2008 · Vis mer
Software specification methods
edited by Henri Habrias, Marc Frappier
Bok Engelsk 2006 · Vis mer
Integrated formal methods : 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 : proceedings
IFM 2004
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
B 2007 : formal specification and development in B : 7th International Conference of B Users, Besançon, France, January 17-19, 2007 : proceedings
International Conference of B Users
Bok Engelsk 2006 · Vis mer
Integrated formal methods : 5th international conference, IFM 2005, Eindhoven, The Netherlands, November 29-December 2, 2005 : proceedings
IFM 2005
Bok Engelsk 2005 · Vis mer
ZB 2005 : formal specification and development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : proceedings
International Conference of B and Z Users
Bok Engelsk 2005 · Vis mer
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
Algebraic and coalgebraic methods in the mathematics of program construction : international summer school and workshop, Oxford, UK, April 10-14, 2000 : revised lectures
Roland Backhouse, Roy Crole, Jeremy Gibbo...
Bok Engelsk 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver
Integrated formal methods : third international conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings
IFM 2002
Bok Engelsk 2002 · 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
Modular specification and verification of object-oriented programs
Peter Müller
Bok Engelsk 2002 · 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
Current Trends in Theoretical Computer Science : Entering the 21st Century
Paun, G.
Bok Engelsk 2001 · Vis mer
Integrated formal methods : second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings
IFM 2000
Bok Engelsk 2000 · Vis mer
ZUM '97 : the Z formal specification notation : 10th International Conference of Z Users, Reading, UK, April 3-4, 1997 : proceedings
International Conference of Z Users
Bok Engelsk 1997 · Vis mer
Formal systems specification : the RPC-memory specification case study
Manfred Broy, Stephan Merz, Katharina Spi...
Bok Engelsk 1996 · Vis mer
Formal methods in computer-aided design : first international conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings
FMCAD '96
Bok Engelsk 1996 · Vis mer
Mechanised formal reasoning about modular programs
Linas Laibinis
Bok Engelsk 2000 · Vis mer