Electronic Notes in Theoretical Computer Science, Volume 82

Satellite Events for ETAPS 2003: Sixth European Joint Conference on Theory and Practice of Software

Volume 82, Number 1, 2003

CMCS'03: 6th International Workshop on Coalgebraic Methods in Computer Science
April 2003

CMCS'03 Home Page

• 
  Jirí Adámek:
  On a Description of Terminal Coalgebras and Iterative Theories. 1-16
• 
  Alexandru Baltag:
  A Coalgebraic Semantics for Epistemic Programs. 17-38
• 
  Luís Soares Barbosa, José Nuno Oliveira:
  State-based Components Made Generic. 39-56
• 
  Falk Bartels, Ana Sokolova, Erik P. de Vink:
  A hierarchy of probabilistic system types. 57-75
• 
  Daniela Cancila, Furio Honsell, Marina Lenisa:
  Generalized Coiteration Schemata. 76-93
• 
  Hubie Chen, Riccardo Pucella:
  A Coalgebraic Approach to Kleene Algebra with Tests. 94-109
• 
  Corina Cîrstea:
  On Expressivity and Compositionality in Logics for Coalgebras. 110-127
• 
  Bart Jacobs, Jesse Hughes:
  Simulations in Coalgebra. 128-149
• 
  Jan Komenda:
  Coinduction in Control of Partially Observed Discrete-Event Systems. 150-169
• 
  Clemens Kupke, Alexander Kurz, Yde Venema:
  Stone Coalgebras. 170-190
• 
  Ralph Matthes, Tarmo Uustalu:
  Substitution in Non-wellfounded Syntax with Variable Binding. 191-205
• 
  Till Mossakowski, Markus Roggenbach, Lutz Schröder:
  CoCASL at Work -- Modelling Process Algebra. 206-220
• 
  Alessandra Palmigiano:
  Coalgebraic Semantics for Positive Modal Logic. 221-236
• 
  Dirk Pattinson:
  Computable Functions on Final Coalgebras. 237-256
• 
  John Power:
  Towards a theory of mathematical operational semantics. 257-272
• 
  Vaughan R. Pratt:
  Comonoids in chu: a large cartesian closed sibling of topological spaces. 273-284
• 
  Grigore Rosu:
  Inductive Behavioral Proofs by Unhiding. 285-302
• 
  Jan Rothe, Dragan Masulovic:
  Modal Logics for Observation Equivalences. 303-320
• 
  Luigi Santocanale:
  Logical Construction of Final Coalgebras. 321-340
• 
  H. Peter Gumm:
  Preface. 341-342

Volume 82, Number 2, 2003

• 
  Jens Knoop, Wolf Zimmermann:
  Preface. 343-344
• 
  Ernst-Rüdiger Olderog:
  Translation and Optimization in the Verification of Real-Time Systems. 345
• 
  Henning Dierks:
  Moby/RT: A Tool for Specification and Verification of Real-Time Systems. 346
• 
  Manuel M. T. Chakravarty, Gabriele Keller, Patryk Zadarnowski:
  A Functional Perspective on SSA Optimisation Algorithms. 347-361
• 
  Andreas Hartmann, Wolfram Amme, Jeffery von Ronne, Michael Franz:
  Code Annotation for Safe and Efficient Dynamic Object Resolution. 362-376
• 
  Stefan Berghofer, Martin Strecker:
  Extracting a formally verified, fully executable compiler from a proof assistant. 377-394
• 
  Christophe Alias, Denis Barthou:
  On the Recognition of Algorithm Templates. 395-409
• 
  Sabine Glesner, Jan Olaf Blech:
  Classifying and Formally Verifying Integer Constant Folding. 410-425
• 
  Thomas Genet, Thomas P. Jensen, Vikash Kodati, David Pichardie:
  A Java Card CAP converter in PVS. 426-442
• 
  Gerolf Hoflehner, Daniel M. Lavery, David C. Sehr:
  The compiler as a validation and evaluation tool. 443-460

Volume 82, Number 3, 2003

LDTA 2003: Third Workshop on Language Descriptions, Tools and Applications
April 2003

LDTA 2003 Home Page

• 
  Barrett R. Bryant, João Saraiva:
  Preface. 461-462
• 
  Jan Kort, Ralf Lämmel:
  A Framework for Datatype Transformation. 463-482
• 
  Tom Mens, Serge Demeyer, Bart Du Bois, Hans Stenten, Pieter Van Gorp:
  Refactoring: Current Research and Future Trends. 483-499
• 
  Alexey Kalinov, Alexander S. Kossatchev, Alexander K. Petrenko, Mikhail Posypkin, Vladimir Shishkov:
  Coverage-driven Automated Compiler Test Suite Generation. 500-514
• 
  Kent Lee:
  A Formally Verified Register Allocation Framework. 515-531
• 
  Eva Magnusson, Görel Hedin:
  Circular Reference Attributed Grammars - Their Evaluation and Applications. 532-554
• 
  Eric Van Wyk:
  Aspects as Modular Language Extensions. 555-574
• 
  Mark van den Brand, Steven Klusener, Leon Moonen, Jurgen J. Vinju:
  Generalized Parsing and Term Rewriting: Semantics Driven Disambiguation. 575-591
• 
  Claus Brabrand, Michael I. Schwartzbach, Mads Vanggaard:
  The metafront System: Extensible Parsing and Transformation. 592-611
• 
  Gennaro Costagliola, Vincenzo Deufemia, Filomena Ferrucci, Carmine Gravino:
  Exploiting XPG for Visual Languages: Definition, Analysis and Development. 612-627
• 
  Jean-Michel Hufflen:
  Mixing Two Bibliography Style Languages. 628-642
• 
  Marisol Sánchez, Pedro J. Clemente, Juan Manuel Murillo, Juan Hernández Núñez:
  CoordMaude: Simplifying Formal Coordination Specifications of Cooperation Environment. 643-658

Volume 82, Number 4, 2003

RSKD 2003: International Workshop on Rough Sets in Knowledge Discovery and Soft Computing
April 2003

RSKD Home Page

• 
  Zdzislaw Pawlak:
  Probability, Truth and Flow Graph. 1-9
• 
  Mohua Banerjee, Mihir K. Chakraborty:
  Foundations of Vagueness : a Category-theoretic Approach. 10-19
• 
  Jan G. Bazan, James F. Peters, Andrzej Skowron, Hung Son Nguyen, Marcin S. Szczuka:
  Rough Set Approach to Pattern Extraction from Classifiers. 20-29
• 
  Malcolm J. Beynon:
  Introduction and Elucidation of the Quality of Sagacity in the Extended Variable Precision Rough Sets Model. 30-39
• 
  Jerzy Blaszczynski, Roman Slowinski:
  Incremental Induction of Decision Rules from Dominance-based Rough Approximations. 40-51
• 
  Zbigniew Bonikowski:
  Algebraic Structures of Rough Sets in Representative Approximation Spaces. 52-63
• 
  Gianpiero Cattaneo, Davide Ciucci:
  An Algebraic Approach to Shadowed Sets. 64-75
• 
  Agnieszka Dardzinska-Glebocka:
  Rule Discovery Based on New Attributes Construction. 76-83
• 
  Krzysztof Dembczynski, Roman Pindur, Robert Susmaga:
  Dominance-based Rough Set Classifier without Induction of Decision Rules. 84-95
• 
  Krzysztof Dembczynski, Roman Pindur, Robert Susmaga:
  Generation of Exhaustive Set of Rules within Dominance-based Rough Set Approach. 96-107
• 
  Mazen El-Sayed, Daniel Pacholczyk:
  Towards a Symbolic Interpretation of Approximate Reasoning. 108-119
• 
  Anna Gomolinska:
  Variable-Precision Compatibility Spaces. 120-131
• 
  Jerzy W. Grzymala-Busse:
  A Comparison of Three Strategies to Rule Induction from Data with Numerical Attributes. 132-140
• 
  Bozena Kostek:
  "Computing with words" Concept Applied to Musical Information Retrieval. 141-152
• 
  Barbara Marszal-Paszek, Piotr Paszek:
  Evidence Theory and VPRS model. 153-163
• 
  Alicja Mieszkowicz-Rolka, Leszek Rolka:
  Fuzziness in Information Systems. 164-173
• 
  Mikhail Ju. Moshkov:
  Greedy Algorithm for Set Cover in Context of Knowledge Discovery Problems. 174-185
• 
  Tetsuya Murai, Yoshiharu Sato, Germano Resconi, Michinori Nakata:
  Granular Reasoning Using Zooming In & Out: Aristotle's Categorical Syllogism. 186-197
• 
  Hung Son Nguyen:
  On the Decision Table with Maximal Number of Reducts. 198-205
• 
  Krzysztof Pancerz, Zbigniew Suraj:
  Modelling Concurrent Systems Specified by Dynamic Information Systems: A Rough Set Approach. 206-218
• 
  Lech Polkowski, Boleslaw Araszkiewicz:
  A Rough Set Approach to Estimating the Game Value and the Shapley Value from Data. 219-227
• 
  Jaroslaw Stepaniuk, Katarzyna Kierzkowska:
  Hybrid Classifier Based on Rough Sets and Neural Networks. 228-238
• 
  Robert Susmaga:
  Reducts Versus Constructs: an Experimental Evaluation. 239-250
• 
  Dominik Slezak, Jakub Wroblewski, Marcin S. Szczuka:
  Neural Network Architecture for Synthesis of the Probabilistic Rule Based Classifiers. 251-262
• 
  Dominik Slezak, Wojciech Ziarko:
  Attribute Reduction in the Bayesian Version of Variable Precision Rough Set Model. 263-273
• 
  Shusaku Tsumoto:
  Statistical Independence as Linear Independence. 274-285
• 
  Shusaku Tsumoto:
  Rule Induction with Grouping Target Concepts based on Rough Sets. 286-297
• 
  Alicja Wieczorkowska, Andrzej Czyzewski:
  Rough Set Based Automatic Classification of Musical Instrument Sounds. 298-309
• 
  Yidong Lan, Lin Zhang, Liancheng Liu:
  A Method for Extracting Rules from Incomplete Information System. 310-317
• 
  Andrzej Skowron, Marcin S. Szczuka:
  Preface. 318-319

Volume 82, Number 5, 2003

SC 2003: Workshop on Software Composition Affiliated with ETAPS 2003
April 2003

SC 2003 Home Page

• 
  Alexander Christoph:
  Design Aspects and GRS-based AOD: The GREAT transformation framework. 1-7
• 
  Youssef Hassoun, Constantinos A. Constantinides:
  The development of generic definitions of hyperslice packages in Hyper/J. 8-20
• 
  Johann Oberleitner, Thomas Gschwind:
  Transforming Application Compositions with XSLTs. 21-32
• 
  Uwe Aßmann:
  Automatic Roundtrip Engineering. 33-41
• 
  Andrés Farías, Yann-Gaël Guéhéneuc:
  On the coherence of component protocols. 42-53
• 
  Jens H. Jahnke, Luay Kawasme:
  Generation of Asynchronous Component Adapters. 54-69
• 
  Jianxiong Pang, Lynne Blair:
  Separating Interaction Concerns from Distributed Feature Components. 70-84
• 
  Welf Löwe, Jonas Lundberg:
  A Low-Level Analysis Library for Architecture Recovery. 85-97
• 
  Jonas Lundberg, Welf Löwe:
  Architecture Recovery by Semi-Automatic Component Identification. 98-114
• 
  Ursula Scheben, Arnd Poetzsch-Heffter:
  Concepts and Techniques simplifying the Assembly Process for Component Instances. 115-131
• 
  Samira Sadaoui:
  Composition of Structured Process Specifications. 132-143
• 
  Pieter Schollaert, Wim Vanderperren, Davy Suvée, Viviane Jonckers:
  Online reconfiguration of component-based applications in PacoSuite. 144-155
• 
  Máire Casey, Claus Pahl:
  Web Components and the Semantic Web. 156-163
• 
  Anh-Tuyet Le, Jorge Villalobos, Jacky Estublier:
  Multi-Level Composition for Software Federations. 164-173
• 
  Uwe Aßmann, Elke Pulvermüller, Isabelle Borne, Noury Bouraqadi, Pierre Cointe:
  Preface - SC 2003: Workshop on Software Composition Affiliated with ETAPS 2003. 174-175

Volume 82, Number 6, 2003

Proceedings of the International Workshop on Test and Analysis of Component-Based Systems (TACoS'03)
April 2003

• 
  Alexander Pretschner:
  Compositional Generation of MC/DC Integration Test Suites. 1-10
• 
  Charalampos Z. Patrikakis, Thomas Kalamaris, Vaios Kakavas:
  Performing integrated system tests using Malicious Component Insertion. 11-21
• 
  Hans-Gerhard Groß, Nikolas Mayer:
  Built-In Contract Testing in Component Integration Testing. 22-32
• 
  Reiko Heckel, Marc Lohmann:
  Towards Model-Driven Testing. 33-43
• 
  Antonia Bertolino, Eda Marchetti, Andrea Polini:
  Integration of "Components" to Test Software Components. 44-54
• 
  Leonardo Mariani:
  A Fault Taxonomy for Component-Based Software. 55-65
• 
  Alessandro Fantechi, Emilio Spinicci:
  Modelling and Validating a multiple-configuration railway signalling system using SDL. 66-76
• 
  Bartosz Lawniczek, Grzegorz Majka, Pawel Slowikowski, Krzysztof Zielinski, Slawomir Zielinski:
  Grid Infrastructure Monitoring Service Framework Jiro/JMX Based Implementation. 77-88
• 
  Giovanni Denaro, Leonardo Mariani, Mauro Pezzè:
  Self-Test Components for Highly Reconfigurable Systems. 89-98
• 
  Henry Muccini, André van der Hoek:
  Towards Testing Product Line Architectures. 99-109
• 
  Kiyohito Itoh, Hiromi Kobayashi:
  A Safety Mechanism Using Software Patterns. 110-120
• 
  Luigi Lavazza, Sandro Morasca, Angelo Morzenti:
  A Dual Language Approach Extension to UML for the Development of Time-Critical Component-Based Systems. 121-132
• 
  Giuseppe Lipari, Enrico Bini, Gerhard Fohler:
  A Framework for Composing Real-Time Schedulers. 133-146
• 
  James Skene, Wolfgang Emmerich:
  Model Driven Performance Analysis of Enterprise Information Systems. 147-157
• 
  Antonia Bertolino, Raffaela Mirandola:
  Modeling and Analysis of Non-functional Properties in Component-based Systems. 158-168
• 
  Ismael Rodríguez, Fernando Rubio:
  A Framework for Selecting Components Automatically: A First Approach. 169-179
• 
  Ana M. Roldán, Ernesto Pimentel, Antonio Brogi:
  Safe Composition of Linda-based Components. 180-189
• 
  A. S. M. Sajeev, Bugi Wibowo:
  UML Modeling for Regression Testing of Component Based Systems. 190-198
• 
  Andrea Baldini, Paolo Prinetto, Giovanni Denaro, Mauro Pezzè:
  Design for Testability for Highly Reconfigurable Component-Based Systems. 199-208
• 
  Mauro Pezzè:
  Preface. 209-210

Volume 82, Number 7, 2003

UNIGRA'03: Uniform Approaches to Graphical Process Specification Techniques
April 2003

• 
  Hartmut Ehrig:
  Behaviour and Instantiation of High-Level Net Processes. 1-15
• 
  Milan Urbásek:
  Modeling Petri Net Based Systems by Net Transformations: New Developments. 16-33
• 
  Julia Padberg:
  Case Study: Modelling Telecom Services with Petri Net Modules. 34-45
• 
  Jörg Desel, Gabriel Juhás, Robert Lorenz:
  Relating axiomatic and operational semantics of place/transition nets: From process terms to partial orders. 46-62
• 
  Fernando Orejas, Hartmut Ehrig:
  Components for Algebra Transformation Systems. 63-78
• 
  Sabine Kuske, Peter Knirsch:
  Modeling Agent Systems with Distributed Transformation Units. 79-90
• 
  Niels Van Eetvelde, Dirk Janssens:
  A Hierarchical Program Representation for Refactoring. 91-104
• 
  Mark Minas:
  XML-based Specification of Diagram Editors. 105-119
• 
  Paolo Bottoni:
  Dynamic aspects of visual modelling languages. 120-132
• 
  Gregor Engels, Jochen Malte Küster, Reiko Heckel, Marc Lohmann:
  Model-Based Verification and Validation of Properties. 133-150
• 
  Stuart Kent, Robert Smith:
  The Bidirectional Mapping Problem. 151-165
• 
  Roswitha Bardohl, Hartmut Ehrig:
  Preface UNIGRA'03 - Uniform Approaches to Graphical Process Specification Techniques. 166-167

Volume 82, Number 8, 2003

WOOD2003: Workshop on Object Oriented Developments
April 2003

WOOD2003 Home Page

• 
  Kim B. Bruce:
  Some challenging typing issues in object-oriented languages. 1-29
• 
  Giuseppe Milicia, Vladimiro Sassone:
  Temporal constraints for concurrent object synchronisation. 30-32
• 
  Lorenzo Bettini, Sara Capecchi, Betti Venneri:
  Extending Java to dynamic object behaviors. 33-52
• 
  Christopher Anderson, Sophia Drossopoulou:
  BabyJ: from object based to class based programming via types. 53-81
• 
  Gavin M. Bierman, Matthew J. Parkinson:
  Effects and effect inference for a core Java calculus. 82-107
• 
  Christopher Anderson, Franco Barbanera, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou:
  Can addresses be types? (A case study: objects with delegation). 108-129
• 
  Ferruccio Damiani, Paola Giannini:
  Alias types for "environment-aware" computations. 130-150
• 
  Viviana Bono, Michele Bugliesi:
  First Workshop on Object Oriented Developments - Preface. 151-152