close
1.

図書
図書
1. Recent trends in algebraic development techniques : 13th International Workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers
José Luiz Fiadeiro (ed.)
出版情報: Berlin ; New York : Springer, c1999  x, 340 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1589
所蔵情報: loading…
目次情報: 続きを見る
An Algebraic Framework for Separate Type-Checking / Davide Ancona
Moving Specification Structures Between Logical Systems / Tomasz Borzyszkowski
Normal Forms for Partitions and Relations / Roberto Bruni ; Fabio Gadducci ; Ugo Montanari
Parameterisation of Logics / Carlos Caleiro ; Cristina Sernadas ; Amílcar Sernadas
Semantic Constructions for Hidden Algebra / Corina Cîrstea
Functorial Semantics for Multi-algebras / Andrea Corradini
An Algebra of Graph Derivations Using Finite (co-) Limit Double Theories / Martin Große-Rhode ; Reiko Heckel
Hierarchical Heterogeneous Specifications / Sopfiie Coudert ; Gilles Bernot ; Pascale Le Gall
Parallel Admissible Graph Rewriting / Rachid Echahed ; Jean-Christophe Janodet
Refinements and Modules for Typed Graph Transformation Systems / Francesco Parisi Presicce ; Marta Simeoni
Complete Strategies for Term Graph Narrowing / Annegret Habel ; Detlef Plump
Non-deterministic Computations in ELAN / Hélèine Kirchner ; Pierre-Etienne Moreau
Rasiowa-Sikorski Deduction Systems: A Handy Tool for Computer Science Logics / Beata Konikowska
Translating 0BJ3 into CASL: The Institution Level / Till Mossakowski
CASL: A Guided Tour of Its Design / Peter D. Masses
Abstract Petri Nets as a Uniform Approach to High-Level Petri Nets / J. Padberg
Using Reflection to Specify Transaction Sequences in Rewriting Logic / Isabel Pita ; Narciso Martí-Oliet
Concurrency and Data Types: A Specification Method An Example with LOTUS / Pascal Poizat ; Christine Choppy ; Jean-Claude Royer
The Situation and State Calculus versus Branching Temporal Logic / Jaime Ramos
Modular Speciflcation of Concurrent Systems with Observational Logic / Pedro Resende
Proof Normalization of Structured Algebraic Specifications Is Convergent / Martin Wirsing ; John N. Crossley ; Hannes Peterreins
Author Index
An Algebraic Framework for Separate Type-Checking / Davide Ancona
Moving Specification Structures Between Logical Systems / Tomasz Borzyszkowski
Normal Forms for Partitions and Relations / Roberto Bruni ; Fabio Gadducci ; Ugo Montanari
2.

図書
図書
2. Tools and algorithms for the construction and analysis of systems : 5th International Conference, TACAS'99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings
W. Rance Cleaveland (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1999  xi, 443 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1579
所蔵情報: loading…
3.

雑誌
雑誌
3. Conference proceedings : DIS ... Symposium on Designing Interactive Systems, Processes, Practices, Methods, & Techniques
Symposium on Designing Interactive Systems ; SIGCHI (Group : U.S.)
出版情報: New York, N.Y. : ACM, c1995-  v. ; 28 cm
巻次年月次: '95 (1995)-
所蔵情報: loading…
4.

雑誌
雑誌
4. EMSOFT ... : ... ACM International Conference on Embedded Software
EMSOFT
出版情報: New York, N.Y. : Association for Computing Machinery  v. ; 28 cm
所蔵情報: loading…
5.

雑誌
雑誌
5. Proceedings of the TLDI : ACM SIGPLAN International Workshop on Types in Languages Design and Implementation : papers presented at the Workshop
sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : Association for Computing Machinery, c2003-  v. ; 28 cm
巻次年月次: 2003 (2003)-
所蔵情報: loading…
6.

雑誌
雑誌
6. International Conference on Aspect-Oriented Software Development : AOSD ...
International Conference on Aspect-Oriented Software Development ; Association for Computing Machinery ; ACM Special Interest Group in Programming Languages ; ACM Sigsoft
出版情報: New York, N.Y. : ACM Press, c2002-  v. ; 28 cm
巻次年月次: 1st (2002)-
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼