Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

6. FASE 2003: Warsaw, Poland (Part of ETAPS 2003)

> Home > Conferences and Workshops > FASE
> Home > Conferences and Workshops > ETAPS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/fase/2003
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/2003
Mauro Pezzè:
Fundamental Approaches to Software Engineering, 6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings. Lecture Notes in Computer Science 2621, Springer 2003, ISBN 3-540-00899-3

Keynote

- view
  authority control:
- export record
  dblp key:
  - conf/fase/Young03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/Young03
Michal Young:
Symbiosis of Static Analysis and Program Testing. 1-5

Software Components

- view
  authority control:
- export record
  dblp key:
  - conf/fase/Pahl03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/Pahl03
Claus Pahl:
An Ontology for Software Component Matching. 6-21
- view
  authority control:
- export record
  dblp key:
  - conf/fase/SoraVB03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/SoraVB03
Ioana Sora, Pierre Verbaeten, Yolande Berbers:
A Description Language For Composable Components. 22-36
- view
  authority control:
- export record
  dblp key:
  - conf/fase/AguirreM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/AguirreM03
Nazareno Aguirre, T. S. E. Maibaum:
A Logical Basis for the Specification of Reconfigurable Component-Based Systems. 37-51
- view
  authority control:
- export record
  dblp key:
  - conf/fase/ReichmannKM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/ReichmannKM03
Clemens Reichmann, Markus Kühl, Klaus D. Müller-Glaser:
An Overall System Design Approach Doing Object-Oriented Modeling to Code-Generation for Embedded Electronic Systems. 52-66

Mobile Computing

- view
  authority control:
- export record
  dblp key:
  - conf/fase/FenkamGJ03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/FenkamGJ03
Pascal Fenkam, Harald C. Gall, Mehdi Jazayeri:
Composing Specifications of Event Based Applications. 67-86
- view
  authority control:
- export record
  dblp key:
  - conf/fase/MerzWZ03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/MerzWZ03
Stephan Merz, Martin Wirsing, Júlia Zappe:
A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems. 87-101
- view
  authority control:
- export record
  dblp key:
  - conf/fase/ScottBM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/ScottBM03
David J. Scott, Alastair R. Beresford, Alan Mycroft:
Spatial Security Policies for Mobile Agents in a Sentient Computing Environment. 102-117

Aspect and Object-Oriented Programming

- view
  authority control:
- export record
  dblp key:
  - conf/fase/BiancoLMO03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/BiancoLMO03
Vieri Del Bianco, Luigi Lavazza, Marco Mauri, Giuseppe Occorso:
Towards UML-Based Formal Specifications of Component-Based Real-Time Software. 118-134
- view
  authority control:
- export record
  dblp key:
  - conf/fase/TenzerS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/TenzerS03
Jennifer Tenzer, Perdita Stevens:
Modelling Recursive Calls with UML State Diagrams. 135-149
- view
  authority control:
- export record
  dblp key:
  - conf/fase/ZhaoR03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/ZhaoR03
Jianjun Zhao, Martin C. Rinard:
Pipa: A Behavioral Interface Specification Language for AspectJ. 150-165
- view
  authority control:
- export record
  dblp key:
  - conf/fase/VanderperrenSWJ03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/VanderperrenSWJ03
Wim Vanderperren, Davy Suvée, Bart Wydaeghe, Viviane Jonckers:
PacoSuite and JAsCo: A Visual Component Composition Environment with Advanced Aspect Separation Features. 166-169

Distributed and Web Applications

- view
  authority control:
- export record
  dblp key:
  - conf/fase/HeckelL03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/HeckelL03
Reiko Heckel, Marc Lohmann:
Model-Based Development of Web Applications Using Graphical Reaction Rules. 170-183
- view
  authority control:
- export record
  dblp key:
  - conf/fase/JinELJ03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/JinELJ03
Yan Jin, Robert Esser, Charles Lakos, Jörn W. Janneck:
Modular Analysis of Dataflow Process Networks. 184-199

Software Measurements

- view
  authority control:
- export record
  dblp key:
  - conf/fase/Morasca03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/Morasca03
Sandro Morasca:
Foundations of a Weak Measurement-Theoretic Approach to Software Measurement. 200-215
- view
  authority control:
- export record
  dblp key:
  - conf/fase/Kelsen03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/Kelsen03
Pierre Kelsen:
An Information-Based View of Representational Coupling in Object-Oriented Systems. 216-230

Formal Verification

- view
  authority control:
- export record
  dblp key:
  - conf/fase/Kubica03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/Kubica03
Marcin Kubica:
A Temporal Approach to Specification and Verification of Pointer Data-Structures. 231-245
- view
  authority control:
- export record
  dblp key:
  - conf/fase/BeckertM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/BeckertM03
Bernhard Beckert, Wojciech Mostowski:
A Program Logic for Handling JAVA CARD's Transaction Mechanism. 246-260
- view
  authority control:
- export record
  dblp key:
  - conf/fase/SchroderM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/SchroderM03
Lutz Schröder, Till Mossakowski:
Monad-Independent Hoare Logic in HASCASL. 261-277
- view
  authority control:
- export record
  dblp key:
  - conf/fase/KochP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/KochP03
Manuel Koch, Francesco Parisi-Presicce:
Visual Specifications of Policies and Their Verification. 278-293

Analysis and Testing

- view
  authority control:
- export record
  dblp key:
  - conf/fase/GargantiniR03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/GargantiniR03
Angelo Gargantini, Elvinia Riccobene:
Automatic Model Driven Animation of SCR Specifications. 294-309
- view
  authority control:
- export record
  dblp key:
  - conf/fase/GoelGW03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/GoelGW03
Anita Goel, Suresh Chand Gupta, Siri Krishan Wasan:
Probe Mechanism for Object-Oriented Software Testing. 310-324
- view
  authority control:
- export record
  dblp key:
  - conf/fase/SharyginaB03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/SharyginaB03
Natasha Sharygina, James C. Browne:
Model Checking Software via Abstraction of Loop Transitions. 325-340

Model Integrations and Extensions

- view
  authority control:
- export record
  dblp key:
  - conf/fase/AttiogbePS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/AttiogbePS03
J. Christian Attiogbé, Pascal Poizat, Gwen Salaün:
Integration of Formal Datatypes within State Diagrams. 341-355
- view
  authority control:
- export record
  dblp key:
  - conf/fase/PennaMIMP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/PennaMIMP03
Giuseppe Della Penna, Antinisca Di Marco, Benedetto Intrigila, Igor Melatti, Alfonso Pierantonio:
Xere: Towards a Natural Interoperability between XML and ER Diagrams. 356-371
- view
  authority control:
- export record
  dblp key:
  - conf/fase/Muccini03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/Muccini03
Henry Muccini:
Detecting Implied Scenarios Analyzing Non-local Branching Choices. 372-386
- view
  authority control:
- export record
  dblp key:
  - conf/fase/Kruger03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/Kruger03
Ingolf Krüger:
Capturing Overlapping, Triggered, and Preemptive Collaborations Using MSCs. 387-402

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.