Jump to main content

yr 〜
yr

Search results 36

Semantics and algebraic specification : essays dedicated to Peter D. Mosses on the occasion of his 60th birthday. : Sep 2009, Udine, Italy. (Lecture Notes in Computer Science ; 5700. Festschrift)

Semantics and algebraic specification : essays dedicated to Peter D. Mosses on the occasion of his 60th birthday. : Sep 2009, Udine, Italy. (Lecture Notes in Computer Science ; 5700. Festschrift)
Paper図書
Springerc2009.<M17-10-1995>
National Diet Library

A translation method from natural language specifications of communication protocols into executable algebraic specifications

A translation method from natural language specifications of communication protocols into executable algebraic specifications
PaperDigital博士論文障害者向け資料あり
石原靖哲 [著]<UT51-95-G498>
Available onlineNational Diet Library
  • Toc / Article...Introduction 2 Algebraic Specification Language ASL 3 Analysis of Co...

Algebraic specification techniques in object oriented programming environments / R. Breu. (Lecture notes in computer science)

Algebraic specification techniques in object oriented programming environments / R. Breu. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1991.<M159-A120>
National Diet Library

COMPOSITIONALITY OF APPLICATION ORIENTED STRUCTURING MECHANISMS FOR ALGEBRAIC SPECIFICATION LANGUAGES WITH INITIAL SEMANTICS

COMPOSITIONALITY OF APPLICATION ORIENTED STRUCTURING MECHANISMS FOR ALGEBRAIC SPECIFICATION LANGUAGES WITH INITIAL SEMANTICS
Paper博士論文
ClaSSen, Ingo Jörg Fritz.Technische Universität Berlin1993.<M-DIGBE-2249>
National Diet Library

Automatic Synthesis of Implementations for Abstract Data Types from Algebraic Specifications

Automatic Synthesis of Implementations for Abstract Data Types from Algebraic Specifications
Microform博士論文
Srivas, Mandayam Kannappan.Massachusetts Institute of Technology1982.<LS-DI-MIT-82-325>
National Diet Library

Foundations of algebraic specification and formal software development : pbk.

Foundations of algebraic specification and formal software development : pbk.
Paper図書
Donald Sannella, Andrzej TarleckiSpringer2012
Other Libraries in Japan

Foundations of algebraic specification and formal software development : hbk

Foundations of algebraic specification and formal software development : hbk
Paper図書
Donald Sannella, Andrzej TarleckiSpringerc2012
Other Libraries in Japan

Algebraic specification

Algebraic specification
Paper図書
edited by J.A. Bergstra, J. Heering, P. KlintACM Pressc1989
Other Libraries in Japan

Analysis of Electronic Commerce Protocols in Algebraic Specification Languages

Analysis of Electronic Commerce Protocols in Algebraic Specification Languages
Digitalその他
Ogata, Kazuhiro, Futatsugi, Kokichi2007-09-06p.1-22
Other Libraries in Japan

CASL user manual : introduction to using the Common Algebraic Specification Language

CASL user manual : introduction to using the Common Algebraic Specification Language
Paper図書
Michel Bidoit, Peter D. Mosses ; with chapters by Till Mossakowski, Donald Sannella, and Andrzej TarleckiSpringerc2004
Other Libraries in Japan

CASL reference manual : the complete documentation of the Common Algebraic Specification Language

CASL reference manual : the complete documentation of the Common Algebraic Specification Language
Paper図書
Peter D. Mosses (ed.)Springerc2004
Other Libraries in Japan

Software engineering with OBJ : algebraic specification in action

Software engineering with OBJ : algebraic specification in action
Paper図書
edited by Joseph Goguen, Grant MalcolmKluwer Academicc2000
Other Libraries in Japan

A scenario-based object-oriented modeling method with algebraic specification techniques

A scenario-based object-oriented modeling method with algebraic specification techniques
Digital規格・テクニカルリポート類
Nakajima, Shin, Futatsugi, Kokichi北陸先端科学技術大学院大学情報科学研究科2001-07-31Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2001-016p.1-41
Other Libraries in Japan
  • Note (General)... influenced by algebraic specification techniques, has well-defined ...

A Generalised Approach to Petri Nets and Algebraic Specifications (HWR ; HWR-525)

A Generalised Approach to Petri Nets and Algebraic Specifications (HWR ; HWR-525)
Paper図書
Terje Sivertsen1998
Other Libraries in Japan

Component-based algebraic specification and verification in cafeOBJ

Component-based algebraic specification and verification in cafeOBJ
Digital規格・テクニカルリポート類
Diaconescu, Razvan, Futatsugi, Kokichi, Iida, Shusaku北陸先端科学技術大学院大学情報科学研究科1999-05-06Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-99-0020Sp.1-20
Other Libraries in Japan
  • Note (General)...sed on the new algebraic specification language CafeO......evelopments in algebraic specification theory and practice. We first...

Petri Nets And Algebraic Specifications (HWR ; HWR-454)

Petri Nets And Algebraic Specifications (HWR ; HWR-454)
Paper図書
Terje Sivertsen1996
Other Libraries in Japan

Behavioural coherence in object-oriented algebraic specification

Behavioural coherence in object-oriented algebraic specification
Paper規格・テクニカルリポート類
Diaconescu, Razvan北陸先端科学技術大学院大学情報科学研究科1998-06-05Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-98-0017p.1-22
Other Libraries in Japan

Language prototyping : an algebraic specification approach

Language prototyping : an algebraic specification approach
Paper図書
editors, Arie van Deursen, Jan Heering, Paul KlintWorld Scientificc1996
Other Libraries in Japan

CafeOBJ report : the language, proof techniques, and methodologies for object-oriented algebraic specification

CafeOBJ report : the language, proof techniques, and methodologies for object-oriented algebraic specification
Paper図書
Răzvan Diaconescu, Kokichi FutatsugiWorld Scientificc1998
Other Libraries in Japan

Similarity on algebraic specifications toward specification databases

Similarity on algebraic specifications toward specification databases
Paper規格・テクニカルリポート類
Sakai, Masahiko, Matsui, Soichi, Kawakita, Makoto, Agusa, Kiyoshi北陸先端科学技術大学院大学情報科学研究科1994-05Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-94-0012p.1-20
Other Libraries in Japan
RSS