|
Conferences in DBLP
- Jan Bosch
Software Product Families: Towards Compositionality. [Citation Graph (0, 0)][DBLP] FASE, 2007, pp:1-10 [Conf]
- Bertrand Meyer
Contract-Driven Development. [Citation Graph (0, 0)][DBLP] FASE, 2007, pp:11- [Conf]
- Jacek Ratzinger, Martin Pinzger, Harald Gall
EQ-Mine: Predicting Short-Term Defects for Software Evolution. [Citation Graph (0, 0)][DBLP] FASE, 2007, pp:12-26 [Conf]
- Romain Robbes, Michele Lanza, Mircea Lungu
An Approach to Software Evolution Based on Semantic Change. [Citation Graph (0, 0)][DBLP] FASE, 2007, pp:27-41 [Conf]
- Paulo Salem da Silva, Ana Cristina Vieira de Melo
A Simulation-Oriented Formalization for a Psychological Theory. [Citation Graph (0, 0)][DBLP] FASE, 2007, pp:42-56 [Conf]
- Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi
Integrating Performance and Reliability Analysis in a Non-Functional MDA Framework. [Citation Graph (0, 0)][DBLP] FASE, 2007, pp:57-71 [Conf]
- Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Frank Hermann, Gabriele Taentzer
Information Preserving Bidirectional Model Transformations. [Citation Graph (0, 0)][DBLP] FASE, 2007, pp:72-86 [Conf]
- Rolf Hennicker, Alexander Knapp
Activity-Driven Synthesis of State Machines. [Citation Graph (0, 0)][DBLP] FASE, 2007, pp:87-101 [Conf]
- Jimin Gao, Mats Per Erik Heimdahl, Eric Van Wyk
Flexible and Extensible Notations for Modeling Languages. [Citation Graph (0, 0)][DBLP] FASE, 2007, pp:102-116 [Conf]
- Markus Bach, Florian Forster, Friedrich Steimann
Declared Type Generalization Checker: An Eclipse Plug-In for Systematic Programming with More General Types. [Citation Graph (0, 0)][DBLP] FASE, 2007, pp:117-120 [Conf]
- David Harel, Asaf Kleinbort, Shahar Maoz
S2A: A Compiler for Multi-modal UML Sequence Diagrams. [Citation Graph (0, 0)][DBLP] FASE, 2007, pp:121-124 [Conf]
- George Edwards, Sam Malek, Nenad Medvidovic
Scenario-Driven Dynamic Analysis of Distributed Architectures. [Citation Graph (0, 0)][DBLP] FASE, 2007, pp:125-139 [Conf]
- Chouki Tibermacine, Didier Hoareau, Reda Kadri
Enforcing Architecture and Deployment Constraints of Distributed Component-Based Software. [Citation Graph (0, 0)][DBLP] FASE, 2007, pp:140-154 [Conf]
- César Sánchez, Henny B. Sipma, Zohar Manna
A Family of Distributed Deadlock Avoidance Protocols and Their Reachable State Spaces. [Citation Graph (0, 0)][DBLP] FASE, 2007, pp:155-169 [Conf]
- Jon Whittle
Precise Specification of Use Case Scenarios. [Citation Graph (0, 0)][DBLP] FASE, 2007, pp:170-184 [Conf]
- Florian Klein, Holger Giese
Joint Structural and Temporal Property Specification Using Timed Story Scenario Diagrams. [Citation Graph (0, 0)][DBLP] FASE, 2007, pp:185-199 [Conf]
- Rüdiger Grammes, Reinhard Gotzhein
SDL Profiles - Formal Semantics and Tool Support. [Citation Graph (0, 0)][DBLP] FASE, 2007, pp:200-214 [Conf]
- Lilian Burdy, Marieke Huisman, Mariela Pavlova
Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode. [Citation Graph (0, 0)][DBLP] FASE, 2007, pp:215-229 [Conf]
- Roy Grønmo, Michael C. Jaeger, Andreas Wombacher
A Service Composition Construct to Support Iterative Development. [Citation Graph (0, 0)][DBLP] FASE, 2007, pp:230-244 [Conf]
- Alistair P. Barros, Gero Decker, Marlon Dumas, Franz Weber
Correlation Patterns in Service-Oriented Architectures. [Citation Graph (0, 0)][DBLP] FASE, 2007, pp:245-259 [Conf]
- Marc Fisher II, Sebastian G. Elbaum, Gregg Rothermel
Dynamic Characterization of Web Application Interfaces. [Citation Graph (0, 0)][DBLP] FASE, 2007, pp:260-275 [Conf]
- Siavash Mirarab, Ladan Tahvildari
A Prioritization Approach for Software Test Cases Based on Bayesian Networks. [Citation Graph (0, 0)][DBLP] FASE, 2007, pp:276-290 [Conf]
- Gordon Fraser, Franz Wotawa
Redundancy Based Test-Suite Reduction. [Citation Graph (0, 0)][DBLP] FASE, 2007, pp:291-305 [Conf]
- Hillel Kugler, Michael J. Stern, E. Jane Albert Hubbard
Testing Scenario-Based Models. [Citation Graph (0, 0)][DBLP] FASE, 2007, pp:306-320 [Conf]
- Sacha Reis, Andreas Metzger, Klaus Pohl
Integration Testing in Software Product Line Engineering: A Model-Based Technique. [Citation Graph (0, 0)][DBLP] FASE, 2007, pp:321-335 [Conf]
- Ádám Darvas, K. Rustan M. Leino
Practical Reasoning About Invocations and Implementations of Pure Methods. [Citation Graph (0, 0)][DBLP] FASE, 2007, pp:336-351 [Conf]
- Marsha Chechik, Mihaela Gheorghiu, Arie Gurfinkel
Finding Environment Guarantees. [Citation Graph (0, 0)][DBLP] FASE, 2007, pp:352-367 [Conf]
- Ulrike Ranger, Thorsten Hermes
Ensuring Consistency Within Distributed Graph Transformation Systems. [Citation Graph (0, 0)][DBLP] FASE, 2007, pp:368-382 [Conf]
- Julia Padberg, Kathrin Hoffmann, Hartmut Ehrig, Tony Modica, Enrico Biermann, Claudia Ermel
Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks. [Citation Graph (0, 0)][DBLP] FASE, 2007, pp:383-397 [Conf]
- Derek Mannering, Jon G. Hall, Lucia Rapanotti
Towards Normal Design for Safety-Critical Systems. [Citation Graph (0, 0)][DBLP] FASE, 2007, pp:398-411 [Conf]
- Xin Zhou, Hui Yu
A Clustering-Based Approach for Tracing Object-Oriented Design to Requirement. [Citation Graph (0, 0)][DBLP] FASE, 2007, pp:412-422 [Conf]
- Roberto E. Lopez-Herrejon, Sven Apel
Measuring and Characterizing Crosscutting in Aspect-Based Programs: Basic Metrics and Case Studies. [Citation Graph (0, 0)][DBLP] FASE, 2007, pp:423-437 [Conf]
|