Jump to main content

yr 〜
yr

Search results 18

Specification case studies in RAISE

Specification case studies in RAISE
Paper図書
Hung Dang Van...[et al.] (Eds.)Springer2002
Other Libraries in Japan
  • Related MaterialFormal approaches to computing and information technology (FACIT)
  • Periodical TitleFormal approaches to computing and information technology (FACIT)

Software specification methods : an overview using a case study

Software specification methods : an overview using a case study
Paper図書
Marc Frappier and Henri Habrias (Eds.)Springerc2001
Other Libraries in Japan
  • Related MaterialFormal approaches to computing and information technology (FACIT)
  • Periodical TitleFormal approaches to computing and information technology (FACIT)

Refinement in Z and object-Z : foundations and advanced applications

Refinement in Z and object-Z : foundations and advanced applications
Paper図書
John Derrick and Eerke BoitenSpringer-Verlagc2001
Other Libraries in Japan
  • Related MaterialFormal approaches to computing and information technology (FACIT)
  • Periodical TitleFormal approaches to computing and information technology (FACIT)

Program development by refinement : case studies using the B method : pbk

Program development by refinement : case studies using the B method : pbk
Paper図書
E. Sekerinski and K. Sere (eds.)Springer-Verlagc1999
Other Libraries in Japan
  • Related MaterialFormal approaches to computing and information technology (FACIT)
  • Periodical TitleFormal approaches to computing and information technology (FACIT)

High-integrity system specification and design : pbk

High-integrity system specification and design : pbk
Paper図書
Jonathon P. Bowen and Michael G. HincheySpringerc1999
Other Libraries in Japan
  • Related MaterialFormal approaches to computing and information technology (FACIT)
  • Periodical TitleFormal approaches to computing and information technology (FACIT)

Industrial-strength formal methods in practice

Industrial-strength formal methods in practice
Paper図書
Michael G. Hinchey and Jonathan P. Bowen, [editors]Springerc1999
Other Libraries in Japan
  • Related MaterialFormal approaches to computing and information technology (FACIT)
  • Periodical TitleFormal approaches to computing and information technology (FACIT)

Proof in VDM : case studies : pbk

Proof in VDM : case studies : pbk
Paper図書
J.C. Bicarregui (ed.) ; with contributions from Sten Agerholm ... [et al.]Springer-Verlagc1998
Other Libraries in Japan
  • Related MaterialFormal approaches to computing and information technology (FACIT)
  • Periodical TitleFormal approaches to computing and information technology (FACIT)

Constructing correct software : the basics pbk. : alk. paper

Constructing correct software : the basics pbk. : alk. paper
Paper図書
John CookeSpringerc1998
Other Libraries in Japan
  • Related MaterialFormal approaches to computing and information technology (FACIT)
  • Periodical TitleFormal approaches to computing and information technology (FACIT)

Formal methods in human-computer interaction Berlin : pbk. : acid-free paper

Formal methods in human-computer interaction Berlin : pbk. : acid-free paper
Paper図書
Philippe Palanque and Fabio Paternò, edsSpringerc1998
Other Libraries in Japan
  • Related MaterialFormal approaches to computing and information technology (FACIT)
  • Periodical TitleFormal approaches to computing and information technology (FACIT)

A theory and practice of program development : pbk.

A theory and practice of program development : pbk.
Paper図書
Derek AndrewsSpringerc1997
Other Libraries in Japan
  • Related MaterialFormal approaches to computing and information technology (FACIT)
  • Periodical TitleFormal approaches to computing and information technology (FACIT)

Formal methods and object technology

Formal methods and object technology
Paper図書
S.J. Goldsack and S.J.H. Kent, eds.Springerc1996
Other Libraries in Japan
  • Related MaterialFormal approaches to computing and information technology (FACIT)
  • Periodical TitleFormal approaches to computing and information technology (FACIT)

The B language and method : a guide to practical formal development

The B language and method : a guide to practical formal development
Paper図書
K. LanoSpringerc1996
Other Libraries in Japan
  • Related MaterialFormal approaches to computing and information technology (FACIT)
  • Periodical TitleFormal approaches to computing and information technology (FACIT)

Formal object-oriented development : pbk

Formal object-oriented development : pbk
Paper図書
K. LanoSpringerc1995
Other Libraries in Japan
  • Related MaterialFormal approaches to computing and information technology (FACIT)
  • Periodical TitleFormal approaches to computing and information technology (FACIT)

Proof in VDM : a practitioner's guide : us : gw

Proof in VDM : a practitioner's guide : us : gw
Paper図書
by Juan C. Bicarregui ... [et al.]Springer-Verlagc1994
Other Libraries in Japan
  • Related MaterialFormal approaches to computing and information technology (FACIT)
  • Periodical TitleFormal approaches to computing and information technology (FACIT)

On the refinement calculus : us : gw

On the refinement calculus : us : gw
Paper図書
edited by Carroll Morgan and Trevor VickersSpringer-Verlag1994
Other Libraries in Japan
  • Related MaterialFormal approaches to computing and information technology (FACIT)
  • Periodical TitleFormal approaches to computing and information technology (FACIT)

Notations for software design : gw

Notations for software design : gw
Paper図書
by Loe M.G. Feijs, Hans B.M. Jonkers and Cornelis A. MiddelburgSpringer-Verlagc1994
Other Libraries in Japan
  • Related MaterialFormal approaches to computing and information technology (FACIT)
  • Periodical TitleFormal approaches to computing and information technology (FACIT)

Systems, models and measures : uk : gw

Systems, models and measures : uk : gw
Paper図書
by Agnes Kaposi and Margaret MyersSpringerc1994
Other Libraries in Japan
  • Related MaterialFormal approaches to computing and information technology (FACIT)
  • Periodical TitleFormal approaches to computing and information technology (FACIT)

Formal approaches to computing and information technology (FACIT)

Formal approaches to computing and information technology (FACIT)
Paper図書
Springer-Verlag
Other Libraries in Japan

Reached to the end of result.

RSS