Software, Services, and Systems

Keyphrases

Publications

2015

Alexander Kurz, Stefan Milius, Dirk Pattinson, Lutz Schröder
Simplified Coalgebraic Trace Equivalence. Software, Services, and Systems (2015)
Donald Sannella, Andrzej Tarlecki
The Foundational Legacy of ASL. Software, Services, and Systems (2015)
Salvador Lucas, José Meseguer
Localized Operational Termination in General Logics. Software, Services, and Systems (2015)
Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro
The Evolution of Jolie - From Orchestrations to Adaptable Choreographies. Software, Services, and Systems (2015)
Joseph Sifakis, Saddek Bensalem, Simon Bliudze, Marius Bozga
A Theory Agenda for Component-Based Design. Software, Services, and Systems (2015)
Martin Hofmann
Logical Relations and Nondeterminism. Software, Services, and Systems (2015)
Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti
From EU Projects to a Family of Model Checkers - From Kandinsky to KandISTI. Software, Services, and Systems (2015)
Emil Vassev, Mike Hinchey
The KnowLang Approach to Self-adaptation. Software, Services, and Systems (2015)
Carlos Areces, Pascal Fontaine, Stephan Merz
Modal Satisfiability via SMT Solving. Software, Services, and Systems (2015)
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
A White Box Perspective on Behavioural Adaptation. Software, Services, and Systems (2015)
Rocco De Nicola, Rolf Hennicker
A Homage to Martin Wirsing. Software, Services, and Systems (2015)
Heinrich Hussmann
The Broad View: How To Spawn a Radical Organizational Transformation 'En Passant'. Software, Services, and Systems (2015)
Nicola Bicocchi, Letizia Leonardi, Franco Zambonelli
Software-Intensive Systems for Smart Cities: From Ensembles to Superorganisms. Software, Services, and Systems (2015)
Alexander Schiendorfer, Alexander Knapp, Jan-Philipp Steghöfer, Gerrit Anders, Florian Siefert, Wolfgang Reif
Partial Valuation Structures for Qualitative Soft Constraints. Software, Services, and Systems (2015)
Harald Störrle
Effective and Efficient Model Clone Detection. Software, Services, and Systems (2015)
Don S. Batory, Peter Höfner, Dominik Köppl, Bernhard Möller, Andreas Zelend
Structured Document Algebra in Action. Software, Services, and Systems (2015)
Alexander Knapp, María Victoria Cengarle
Institutions for OCL-Like Expression Languages. Software, Services, and Systems (2015)
José Luiz Fiadeiro, Fernando Orejas
Abstract Constraint Data Types. Software, Services, and Systems (2015)
Si Liu, Peter Csaba Ölveczky, José Meseguer
Formal Analysis of Leader Election in MANETs Using Real-Time Maude. Software, Services, and Systems (2015)
Carolyn L. Talcott, Farhad Arbab, Maneesh Yadav
Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent Systems. Software, Services, and Systems (2015)
Kokichi Futatsugi
Generate & Check Method for Verifying Transition Systems in CafeOBJ. Software, Services, and Systems (2015)
Hubert Baumeister, Mohamed Bettaz, Mourad Maouche, M'hamed Mosteghanemi
An Institution for Object-Z with Inheritance and Polymorphism. Software, Services, and Systems (2015)
Alexander Knapp, Till Mossakowski, Markus Roggenbach
Towards an Institutional Framework for Heterogeneous Formal Development in UML - - A Position Paper -. Software, Services, and Systems (2015)
Ugo Montanari, Rosario Pugliese, Francesco Tiezzi
Programming Autonomic Systems with Multiple Constraint Stores. Software, Services, and Systems (2015)
Gianna Reggio, Egidio Astesiano, Christine Choppy
A Framework for Defining and Comparing Modelling Methods. Software, Services, and Systems (2015)
Antonio Bucchiarone, Hartmut Ehrig, Claudia Ermel, Patrizio Pelliccione, Olga Runge
Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation. Software, Services, and Systems (2015)
Thomas Trojer, Matthias Farwick, Martin Haeusler, Ruth Breu
Living Modeling of IT Architectures: Challenges and Solutions. Software, Services, and Systems (2015)
Nikola B. Serbedzija
Adaptive and Autonomous Systems and Their Impact on Us. Software, Services, and Systems (2015)
Matthias M. Hölzl, Nora Koch, Philip Mayer, Andreas Schroeder, Lenz Belzner, Marianne Busch, Anton Fasching, Annabelle Klarl, Christian Kroiss, Laith Raed
Ode to the PST. Software, Services, and Systems (2015)
Stephen Gilmore, Jane Hillston, Mirco Tribastone
Service Composition for Collective Adaptive Systems. Software, Services, and Systems (2015)
Bernd Krieg-Brückner, Serge Autexier, Martin Rink, Sidoine Ghomsi Nokam
Formal Modelling for Cooking Assistance. Software, Services, and Systems (2015)
Bernhard Bauer, Melanie Langermeier, Christian Saad
A Flow Analysis Approach for Service-Oriented Architectures. Software, Services, and Systems (2015)
Diego Latella, Michele Loreti, Mieke Massink, Valerio Senni
On StocS: A Stochastic Extension of SCEL. Software, Services, and Systems (2015)
Flemming Nielson, Hanne Riis Nielson, Kebin Zeng
Stochastic Model Checking of the Stochastic Quality Calculus. Software, Services, and Systems (2015)
Manfred Broy
Pragmatic Formal Specification of System Properties by Tables. Software, Services, and Systems (2015)
Jan A. Bergstra, Alban Ponse
Division by Zero in Common Meadows. Software, Services, and Systems (2015)
Tomás Bures, Ilias Gerostathopoulos, Jaroslav Keznikl, Frantisek Plasil, Petr Tuma
Formalization of Invariant Patterns for the Invariant Refinement Method. Software, Services, and Systems (2015)
Wolfgang Hesse
From Formal Logic through Program Transformations to System Dynamics: 40 Years of Meeting Points with Martin Wirsing. Software, Services, and Systems (2015)

volume 8950, 2015

Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering Software, Services, and Systems 8950 (2015)