Concepts of Object Paradigm for an Approach to Modular Specification of Communication Protocols (1999)

Cached

Download Links

by Jörg Fischer , C Fl Jorg Fischer , Otto-von-guericke-universitat Magdeburg , Fakultat Fur Informatik
Citations:1 - 0 self

Documents Related by Co-Citation

2 Hypothetical Reasoning with Defaults – F. Miguel Dionísio, Stefan Braß, F. Miguel Dion'isio, Mark Ryan, Udo Lipeck
8 Categorial of logics with terms and binding operators – A Sernadas, C Sernadas, C Caleiro, T Mossakowski - 2000
3 Hierarchical heterogeneous speci – S Coudert, G Bernot, P Le Gall - 1999
2 An Integration of Scenario-Based Requirements Elicitation and Validation Techniques – Peter Haumer, Peter Haumer, Patrick Heymans, Patrick Heymans, Klaus Pohl, Klaus Pohl - 1998
5 Feature Interaction in PEPA – Stephen Gilmore, Jane Hillston
2 Evolving Logical Speci in Information Systems – S Conrad, J Ramos, G Saake, C Sernadas - 1998
2 A Feature Construct for PEPA – Stephen Gilmore, Jane Hillston - 1999
2 Formalizing integration test strategies for distributed systems – F Mercier, P L Gall, A Bertolino - 1999
2 Towards a New Semantics for Mondel Speci Based on the CO-Nets Approach – N Aoumeur, G Saake - 1999
2 observations and strong bisimulation. Theoretical Computer Science – Quantales - 1999
3 Consistent Handling of Integrity Constraints and Extensional Assertions for Schema Integration – C Turker, G Saake - 1999
1 A Feature Construct for PROMELA – Malte Plath, Mark Ryan - 1998
1 Temporal Logic in Coq – Nuno Paiva, Supervised Am'ilcar Sernadas, Carlos Caleiro - 1998
2 Towards an Algebra of Dynamic Object Types – António Ravara, Pedro Resende, Vasco T. Vasconcelos - 1998
3 Stochastic Process Algebra Structure for Insensitivity – Graham Clark - 1999
2 Speci algebriques temps reel – S Bero, M Aiguier - 1998
3 Category Theory in Coq – Alexandra Carvalho, Supervised Am'ilcar Sernadas, Paulo Mateus - 1998
2 Formal Veri of a Power Controller Using the Real-Time Model Checker Uppaal – Klaus Havelund, Kim G Larsen, Arne Skou - 1999
4 Methodological Support for Requirements Elicitation and Formal Specification – Maritta Heisel, Jeanine Souquieres - 1998