default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8. AMAST 2000: Iowa City, Iowa, USA
- Teodor Rus:
Algebraic Methodology and Software Technology. 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings. Lecture Notes in Computer Science 1816, Springer 2000, ISBN 3-540-67530-2 - David Lorge Parnas:
Invited Talk: A Software Engineering Program of Lasting Value. 1 - Jeannette M. Wing:
Invited Talk: Weaving Formal Methods into the Undergraduate Computer Science Curriculum. 2-9 - David Lorge Parnas:
Making Mathematical Methods More Practical for Software Developers (Invited Talk). 9-10 - Max Breitling, Jan Philipps:
Step by Step to Histories. 11-25 - Sofia Guerra:
Distance Functions for Defaults in Reactive Systems. 26-40 - Bernhard Heinemann:
Generalizing the Modal and Temporal Logic of Linear Time. 41-56 - Antonio Cerone:
Process Algebra versus Axiomatic Specification of a Real-Time Protocol. 57-72 - Mark Lawford, Jeff McDougall, Peter Froebel, Greg Moum:
Practical Application of Functional and Relational Methods for the Specification and Verification of Safety Critical Software. 73-88 - Manfred Broy, Martin Wirsing:
Invited Talk: Algebraic State Machines. 89-188 - Eric Van Wyk:
Meta Languages in Algebraic Compilers. 119-134 - Martin Erwig:
Random Access to Abstract Data Types. 135-149 - Bart Jacobs, Erik Poll:
A Monad for Basic Java Semantics. 150-164 - Christine Choppy, Pascal Poizat
, Jean-Claude Royer:
A Global Semantics for Views. 165-180 - Patricia M. Hill, Fausto Spoto:
Analysis of Downward Closed Properties of Logic Programs. 181-196 - Yuri Gurevich:
Invited Talk: ASM Formalware in the Software Engineering Cycle. 197 - Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro:
Process Calculi for Coordination: From Linda to JavaSpaces. 198-212 - Colin J. Fidge:
The Algebra of Multi-tasking. 213-227 - Simone Tini, Andrea Maggiolo-Schettini:
A Causal Semantics for Timed Default Concurrent Constraint Programming. 228-242 - Gianna Reggio, Lorenzo Repetto:
CASL-CHART: A Combination of Statecharts and of the Algebraic Specification Language CASL. 243-257 - Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli:
Message Authentication through Non Interference. 258-272 - Egidio Astesiano, Maura Cerioli, Gianna Reggio:
Invited Talk: Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UML. 273-292 - Egon Börger, Alessandra Cavarra, Elvinia Riccobene:
An ASM Semantics for UML Activity Diagrams. 293-308 - Mingsheng Ying, Martin Wirsing:
Approximate Bisimilarity. 309-322 - Suzana Andova:
Time and Probability in Process Algebra. 323-338 - Rocco De Nicola, Michele Loreti:
A Modal Logic for KLAIM. 339-354 - Jules Desharnais, Bernhard Möller, Fairouz Tchier:
Kleene under a Demonic Star. 355-370 - Oege de Moor, Jeremy Gibbons:
Invited Talk: Pointwise Relational Programming. 371-390 - Carolyn L. Talcott:
Towards a Toolkit for Actor System Specification. 391-406 - Christiano de Oliveira Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses:
Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic. 407-421 - Francisco Durán:
The Extensibility of Maude's Module Algebra. 422-437 - Sophie Coudert, Pascale Le Gall:
A Reuse-Oriented Framework for Hierarchical Specifications. 438-453 - Davide Ancona:
MIX(FL): A Kernel Language of Mixin Modules. 454-468 - Clemens Fischer, Heike Wehrheim:
Behavioural Subtyping Relations for Object-Oriented Formalisms. 469-483 - Michael Healy, Keith E. Williamson:
Invited Talk: Applying Category Theory to Derive Engineering Software from Encoded Knowledge. 484-498 - Kamel Adi, Mourad Debbabi, Mohamed Mejri:
A New Logic for Electronic Commerce Protocols. 499-513 - Marielle Doche, Virginie Wiels:
Extended Institutions for Testing. 514-528 - Patrícia D. L. Machado:
Testing from Structured Algebraic Specifications. 529-544
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-24 17:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
