Journal: Electronic Notes in Theoretical Computer Science

Volume 82, Issue 7

1 -- 15Hartmut Ehrig. Behaviour and Instantiation of High-Level Net Processes
1 -- 29Kim B. Bruce. Some challenging typing issues in object-oriented languages
16 -- 33Milan Urbásek. Modeling Petri Net Based Systems by Net Transformations: New Developments
30 -- 32Giuseppe Milicia, Vladimiro Sassone. Temporal constraints for concurrent object synchronisation
33 -- 52Lorenzo Bettini, Sara Capecchi, Betti Venneri. Extending Java to dynamic object behaviors
34 -- 45Julia Padberg. Case Study: Modelling Telecom Services with Petri Net Modules
46 -- 62Jörg Desel, Gabriel Juhás, Robert Lorenz. Relating axiomatic and operational semantics of place/transition nets: From process terms to partial orders
53 -- 81Christopher Anderson, Sophia Drossopoulou. BabyJ: from object based to class based programming via types
63 -- 78Fernando Orejas, Hartmut Ehrig. Components for Algebra Transformation Systems
79 -- 90Sabine Kuske, Peter Knirsch. Modeling Agent Systems with Distributed Transformation Units
82 -- 107Gavin M. Bierman, Matthew J. Parkinson. Effects and effect inference for a core Java calculus
91 -- 104Niels Van Eetvelde, Dirk Janssens. A Hierarchical Program Representation for Refactoring
105 -- 119Mark Minas. XML-based Specification of Diagram Editors
108 -- 129Christopher Anderson, Franco Barbanera, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou. Can addresses be types? (A case study: objects with delegation)
120 -- 132Paolo Bottoni. Dynamic aspects of visual modelling languages
130 -- 150Ferruccio Damiani, Paola Giannini. Alias types for environment-aware computations
133 -- 150Gregor Engels, Jochen Malte Küster, Reiko Heckel, Marc Lohmann. Model-Based Verification and Validation of Properties
151 -- 165Stuart Kent, Robert Smith. The Bidirectional Mapping Problem
151 -- 152Viviana Bono, Michele Bugliesi. First Workshop on Object Oriented Developments
166 -- 167Roswitha Bardohl, Hartmut Ehrig. Preface UNIGRA 03 - Uniform Approaches to Graphical Process Specification Techniques

Volume 82, Issue 6

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

Volume 82, Issue 5

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

Volume 82, Issue 4

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

Volume 82, Issue 3

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

Volume 82, Issue 2

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

Volume 82, Issue 1

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