close
1.

図書

図書
Teodor Rus
出版情報: București : Editura Academiei , Chichester : John Wiley & Sons, 1979  xi, 364 p. ; 25 cm
シリーズ名: Wiley series in computing
所蔵情報: loading…
2.

図書

図書
Teodor Rus, Daniela Rus
出版情報: Singapore ; River Edge, N.J. : World Scientific, 1994  xii, 427 p. ; 23 cm
シリーズ名: System software and software systems : concepts and methodology ; v. 2
所蔵情報: loading…
3.

図書

図書
Teodor Rus, Daniela Rus
出版情報: Singapore : World Scientific, c1993  xv, 370 p. ; 23 cm
シリーズ名: System software and software systems : concepts and methodology ; v. 1
所蔵情報: loading…
4.

図書

図書
Miquel Bertran, Teodor Rus, (eds.)
出版情報: Berlin ; New York : Springer, c1997  xi, 429 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1231
所蔵情報: loading…
5.

図書

図書
Teodor Rus (ed.)
出版情報: Berlin : Springer, c2000  xi, 544 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1816
所蔵情報: loading…
目次情報: 続きを見る
Education Day
Invited Talk: A Software Engineering Program of Lasting Value / David L. Parnas
Invited Talk: Weaving Formal Methods into the Undergratuate Computer Science Curriculum / Jeannette M. Wing
Technical Meetings
Invited Talk: Making Mathematical Methods More Practical for the Software Developers / Session 1:
Step by Step to Histories / Max Breitling ; Jan Philipps
Distance Functions for Defaults in Reactive Systems / Sofia Guerra
Generalizing the Modal and Temporal Logic of Linear Time / Bernhard Heinemann
Process Algebra versus Axiomatic Specification of a Real-Time Protocol / Antonio Cerone
Practical Application of Functional and Relational Methods for the Specification and Verification of Safety Critical Software / Mark Lawford ; Jeff McDougall ; Peter Froebel ; Greg Moum
Invited Talk: Algebraic State Machines / Manfred Broy ; Martin WirsingSession 2:
Meta Languages in Algebraic Compilers / Eric Van Wyk
Random Access to Abstract Data Types / Martin Erwig
A Monad for Basic Java Semantics / Bart Jacobs ; Erik Poll
A Global Semantics for Views / Christine Choppy ; Pascal Poizat ; Jean-Claude Royer
Analysis of Downward Closed Properties of Logic Programs / Patricia M. Hill ; Fausto Spoto
Invited Talk: ASM Formalware in the Software Engineering Cycle / Yuri GurevichsSession 3:
Process Calculi for Coordination: From Linda to JavaSpaces / Nadia Busi ; Roberto Gorrieri ; Gianluigi Zavattaro
The Algebra of Multi-tasking / Colin J. Fidge
A Causal Semantics for Timed Default Concurrent Constraint Programming / Simone Tini ; Andrea Maggiolo-Schettini
Casl-Chart: A Combination of Statecharts and of the Algebraic Specification Language Casl / Gianna Reggio ; Lorenzo Repetto
Message Authentication through Non Interference / Riccardo Focardi ; Fabio Martinelli
Invited Talk: Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UML / Egidio Astesiano ; Maura CerioliSession 4:
An ASM Semantics for UML Activity Diagrams / Egon Borger ; Alessandra Cavarra ; Elvinia Riccobene
Approximate Bisimilarity / Mingsheng Ying
Time and Probability in Process Algebra / Suzana Andova
A Modal Logic for Klaim / Rocco De Nicola ; Michele Loreti
Kleene under a Demonic Star / Jules Desharnais ; Bernhard Möller ; Fairouz Tchier
Invited Talk: Pointwise Relational Programming / Oege de Moor ; Jeremy GibbonsSession 5:
Towards a Toolkit for Actor System Specification / Carolyn L. Talcott
Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic / Christiano de O. Braga ; E. Hermann Haeusler ; José Meseguer ; Peter D. Mosses
The Extensibility of Maude's Module Algebra / Francisco Durán
A Reuse-Oriented Framework for Hierarchical Specifications / Sophie Coudert ; Pascale Le Gall
MIX(FL): A Kernel Language of Mixin Modules / Davide Ancona
Behavioural Subtyping Relations for Object-Oriented Formalisms / Clemens Fischer ; Heike Wehrheim
Invited Talk: Applying Category Theory to Derive Engineering Software from Encoded Knowledge / Michael Healy ; Keith WilliamsonSession 6:
A New Logic for Electronic Commerce Protocols / Kamel Adi ; Mourad Debbabi ; Mohamed Mejri
Extended Institutions for Testing / Marielle Doche ; Virginie Wiels
Testing from Structured Algebraic Specifications / Patrícia D. L. Machado
Author Index
Education Day
Invited Talk: A Software Engineering Program of Lasting Value / David L. Parnas
Invited Talk: Weaving Formal Methods into the Undergratuate Computer Science Curriculum / Jeannette M. Wing
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼