×

zbMATH — the first resource for mathematics

Algebraic methodology and software technology. 8th international conference, AMAST 2000, Iowa City, IA, USA, May 20–27, 2000. Proceedings. (English) Zbl 0939.00039
Lecture Notes in Computer Science. 1816. Berlin: Springer. xi, 545 p. (2000).

Show indexed articles as search result.

The articles of mathematical interest will be reviewed individually. The preceding conference (7th, 1999) has been indicated (see Zbl 0906.00024).
Indexed articles:
Parnas, David L., Invited talk: A software engineering program of lasting value. (Abstract), 1 [Zbl 0983.68659]
Wing, Jeannette M., Invited talk: Weaving formal methods into the undergraduate computer science curriculum. (Extended abstract), 2-7 [Zbl 0983.68772]
Parnas, David L., Invited talk: Making mathematical methods more practical for software developers. (Abstract), 9-10 [Zbl 0983.68732]
Breitling, Max; Philipps, Jan, Step by step to histories, 11-25 [Zbl 0983.68120]
Guerra, Sofia, Distance functions for defaults in reactive systems, 26-40 [Zbl 0983.68037]
Heinemann, Bernhard, Generalizing the modal and temporal logic of linear time, 41-56 [Zbl 0983.03013]
Cerone, Antonio, Process algebra versus axiomatic specification of a real-time protocol, 57-72 [Zbl 0983.68525]
Lawford, Mark; McDougall, Jeff; Froebel, Peter; Moum, Greg, Practical application of functional and relational methods for the specification and verification of safety critical software, 73-88 [Zbl 0983.68523]
Broy, Manfred; Wirsing, Martin, Algebraic state machines, 89-118 [Zbl 0983.68127]
Van Wyk, Eric, Meta languages in algebraic compilers, 119-134 [Zbl 0983.68093]
Erwig, Martin, Random access to abstract data types, 135-149 [Zbl 0983.68121]
Jacobs, Bart; Poll, Erik, A monad for basic Java semantics, 150-164 [Zbl 0983.68115]
Choppy, Christine; Poizat, Pascal; Royer, Jean-Claude, A global semantics for views, 165-180 [Zbl 0983.68114]
Hill, Patricia M.; Spoto, Fausto, Analysis of downward closed properties of logic programs, 181-196 [Zbl 0983.68026]
Gurevich, Yuri, Invited talk: ASM formalware in the software engineering cycle, 197 [Zbl 0983.68660]
Busi, Nadia; Gorrieri, Roberto; Zavattaro, Gianluigi, Process calculi for coordination: From Linda to JavaSpaces, 198-212 [Zbl 0983.68521]
Fidge, Colin J., The algebra of multi-tasking, 213-227 [Zbl 0983.68013]
Tini, Simone; Maggiolo-Schettini, Andrea, A causal semantics for timed default concurrent constraint programming, 228-242 [Zbl 0983.68112]
Reggio, Gianna; Repetto, Lorenzo, Casl-Chart: A combination of statecharts and of the algebraic specification language Casl, 243-257 [Zbl 0983.68787]
Focardi, Riccardo; Gorrieri, Roberto; Martinelli, Fabio, Message authentication through non interference, 258-272 [Zbl 0983.68067]
Astesiano, Egidio; Cerioli, Maura; Reggio, Gianna, Plugging data constructs into paradigm-specific languages: Towards an application to UML, 273-292 [Zbl 0983.68524]
Börger, Egon; Cavarra, Alessandra; Riccobene, Elvinia, An ASM semantics for UML activity diagrams, 293-308 [Zbl 0983.68130]
Ying, Mingsheng; Wirsing, Martin, Approximate bisimilarity, 309-322 [Zbl 0983.68131]
Andova, Suzana, Time and probability in process algebra, 323-338 [Zbl 0983.68133]
De Nicola, Rocco; Loreti, Michele, A modal logic for Klaim, 339-354 [Zbl 0983.68022]
Desharnais, Jules; Möller, Bernhard; Tchier, Fairouz, Kleene under a demonic star, 355-370 [Zbl 0983.68039]
de Moor, Oege; Gibbons, Jeremy, Pointwise relational programming, 371-390 [Zbl 0983.68042]
Talcott, Carolyn L., Towards a toolkit for actor system specification, 391-406 [Zbl 0983.68134]
de O. Braga, Christiano; Haeusler, E. Hermann; Meseguer, José; Mosses, Peter D., Maude action tool: Using reflection to map action semantics to rewriting logic, 407-421 [Zbl 0983.68519]
Durán, Francisco, The extensibility of Maude’s module algebra, 422-437 [Zbl 0983.68522]
Coudert, Sophie; Le Gall, Pascale, A reuse-oriented framework for hierarchical specification, 438-453 [Zbl 0983.68035]
Ancona, Davide, MIX(FL): A kernel language of mixin modules, 454-468 [Zbl 0983.68040]
Fischer, Clemens; Wehrheim, Heike, Behavioural subtyping relations for object-oriented formalisms, 469-483 [Zbl 0983.68030]
Healy, Michael; Williamson, Keith, Applying category theory to derive engineering software from encoded knowledge, 484-498 [Zbl 0983.68609]
Adi, Kamel; Debbabi, Mourad; Mejri, Mohamed, A new logic for electronic commerce protocols, 499-513 [Zbl 0983.68066]
Doche, Marielle; Wiels, Virginie, Extended institutions for testing, 514-528 [Zbl 0983.68038]
Machado, Patrícia D. L., Testing from structured algebraic specifications, 529-544 [Zbl 0983.68122]

MSC:
00B25 Proceedings of conferences of miscellaneous specific interest
68-06 Proceedings, conferences, collections, etc. pertaining to computer science
PDF BibTeX XML Cite
Full Text: DOI