close
1.

図書

図書
Mary Lou Padgett, Thomas Lindbald, chairs/editors ; sponsoring societies, the Society for Computer Simulation International, NASA--National Aeronautics and Space Administration ; cooperating, SPIE--the International Society of Optical Engineering, INNS--the International Neural Networks Society, the IEEE Neural Networks Council
出版情報: Bellingham, Wash. : SPIE, c1996  ix, 598 p. ; 28 cm
シリーズ名: Proceedings / SPIE -- the International Society for Optical Engineering ; v. 2878
所蔵情報: loading…
2.

図書

図書
Joost-Pieter Katoen, Perdita Stevens (eds.)
出版情報: Berlin : Springer, c2002  xiii, 482 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2280
所蔵情報: loading…
3.

図書

図書
George T. Heineman ... [et al] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2005  xi, 358 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3489
所蔵情報: loading…
目次情報: 続きを見る
Prediction, Analysis and Monitoring of System Architecture
Performance Prediction of J2EE Applications Using Messaging Protocols / Yan Liu ; Ian Gorton
EJBMemProf - A Memory Profiling Framework for Enterprise JavaBeans / Marcus Meyerhöfer ; Bernhard Volz
Model-Driven Safety Evaluation with State-Event-Based Component Failure Annotations / Lars Grunske ; Bernhard Kaiser ; Yiannis Papadopoulos
Optimizing Resource Usage in Component-Based Real-Time Systems / Johan Fredriksson ; Kristian Sandström ; Mikael Åkerholm
Evaluating Performance Attributes of Layered Software Architecture / Vibhu Saujanya Sharma ; Pankaj Jalote ; Kishor S. Trivedi
Component-Level Dataflow Analysis / Atanas Rountev
Architecture and Design of Component-Based Systems
Exogenous Connectors for Software Components / Kung-Kiu Lau ; Perla Velasco Elizondo ; Zheng Wang
Qinna, a Component-Based QoS Architecture / Jean-Charles Tournier ; Jean-Philippe Babau ; Vincent Olive
Architecture Based Deployment of Large-Scale Component Based Systems: The Tool and Principles / Ling Lan ; Gang Huang ; Liya Ma ; Meng Wang ; Hong Mei ; Long Zhang ; Ying Chen
Component-Based Open Middleware Supporting Aspect-Oriented Software Composition / Bert Lagaisse ; Wouter Joosen
An Empirical Study on the Specification and Selection of Components Using Fuzzy Logic / Kendra Cooper ; João W. Cangussu ; Rong Lin ; Ganesan Sankaranarayanan ; Ragouramane Soundararadjane ; Eric Wong
Finding a Needle in the Haystack: A Technique for Ranking Matches Between Components / Naiyana Tansalarak ; Kajal Claypool
Extra-Functional System Properties of Components and Component-Based Systems
A Contracting System for Hierarchical Components / Philippe Collet ; Roger Rousseau ; Thierry Coupaye ; Nicolas Rivierre
Tailored Responsibility Within Component-Based Systems / Elke Franz ; Ute Wappler
Efficient Upgrading in a Purely Functional Component Deployment Model / Eelco Dolstra
Real-Time Scheduling Techniques for Implementation Synthesis from Component-Based Software Models / Zonghua Gu ; Zhimin He
A Component-Oriented Model for the Design of Safe Multi-threaded Applications / Reimer Behrends ; R.E. Kurt Stirewalt ; Laura K. Dillon
TeStor: Deriving Test Sequences from Model-Based Specifications / Patrizio Pelliccione ; Henry Muccini ; Antonio Bucchiarone ; Fabrizio Facchini
Components at Work
A CCA-compliant Nuclear Power Plant Simulator Kernel / Manuel Díaz ; Daniel Garrido ; Sergio Romero ; Bartolomé Rubio ; Enrique Soler ; José M. Troya
Experience with Component-Based Development of a Telecommunication Service / Gregory W. Bond ; Eric Cheung ; Healfdene H. Goguen ; Karrie J. Hanson ; Don Henderson ; Gerald M. Karam ; K. Hal Purdy ; Thomas M. Smith ; Pamela Zave
Reusable Dialog Component Framework for Rapid Voice Application Development / Rahul P. Akolkar ; Tanveer Faruquie ; Juan Huerta ; Pankaj Kankar ; Nitendra Rajput ; T.V. Raman ; Raghavendra U. Udupa ; Abhishek Verma
Unlocking the Grid / Chris A. Mattmann ; Nenad Medvidovic ; Paul M. Ramirez ; Vladimir Jakobac
Experience Report: Design and Implementation of a Component-Based Protection Architecture for ASP.NET Web Services / Konstantin Beznosov
Concept Index
Author Index
Prediction, Analysis and Monitoring of System Architecture
Performance Prediction of J2EE Applications Using Messaging Protocols / Yan Liu ; Ian Gorton
EJBMemProf - A Memory Profiling Framework for Enterprise JavaBeans / Marcus Meyerhöfer ; Bernhard Volz
4.

図書

図書
Susanne Graf, Michael Schwartzbach (eds.)
出版情報: Berlin : Springer, c2000  xiv, 552 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1785
所蔵情報: loading…
目次情報: 続きを見る
Invited Contribution
On the Construction of Automata from Linear Arithmetic Constraints / Pierre Wolper ; Bernard Boigelot
Software and Formal Methods Tools
An Extensible Type Systemfor Component-Based Design / Yuhong Xiong ; Edward A. Lee
Proof General: A Generic Tool for Proof Development / David Aspinall
ViewPoint-Oriented Software Development: Tool Support for Integrating Multiple Perspectives by Distributed Graph Transformation / Michael Goedicke ; Bettina Enders ; Torsten Meyer ; Gabriele Taentzer
Formal Methods Tools
Consistent Integration of Formal Methods / Peter Braun ; Heiko Lötzbeyer ; Bernhard Schätz ; Oscar Slotosch
An Architecture for Interactive Program Provers / Jörg Meyer ; Arnd Poetzsch-Heffter
The PROSPER Toolkit / Louise A. Dennis ; Graham Collins ; Michael Norrish ; Richard Boulton ; Konrad Slind ; Graham Robinson ; Mike Gordon ; Tom Melham
CASL: From Semantics to Tools / Till Mossakowski
Timed and Hybrid Systems
On the Construction of Live Timed Systems / Sébastien Bornot ; Gregor Gößler ; Joseph Sifakis
On Memory-Block Traversal Problems in Model-Checking Timed Systems / Fredrik Larsson ; Paul Pettersson ; Wang Yi
Symbolic Model Checking for Rectangular Hybrid Systems / Thomas A. Henzinger ; Rupak Majumdar
Efficient Data Structure for Fully Symbolic Verification of Real-Time Software Systems / Farn Wang
Infinite and Parameterized Systems
Verification of Parameterized Systems Using Logic Program Transformations / Abhik Roychoudhury ; K. Narayan Kumar ; C.R. Ramakrishnan ; I. V. Ramakrishnan ; Scott A. Smolka
Abstracting WS1S Systems to Verify Parameterized Networks / Kai Baukus ; Saddek Bensalem ; Yassine Lakhnech ; Karsten Stahl
FMona: A Tool for Expressing Validation Techniques over Infinite State Systems / J.-P. Bodeveix ; M. Filali
Transitive Closures of Regular Relations for Verifying Infinite-State Systems / Bengt Jonsson ; Marcus Nilsson
Diagnostic and Test Generation
Using Static Analysis to Improve Automatic Test Generation / Marius Bozga ; Jean-Claude Fernandez ; Lucian Ghirvu
Efficient Diagnostic Generation for Boolean Equation Systems / Radu Mateescu
Efficient Model-Checking
Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems / Jean-Pierre Krimm ; Laurent Mounier
Checking for CFFD-Preorder with Tester Processes / Juhana Helovuo ; Antti Valmari
Fair Bisimulation / Sriram K. Rajamani
Integrating Low Level Symmetries into Reachability Analysis / Karsten Schmidt
Model-Checking Tools
Model Checking Support for the ASM High-Level Language / Giuseppe Del Castillo ; Kirsten Winter
A Markov Chain Model Checker / Holger Hermanns ; Joost-Pieter Katoen ; Joachim Meyer-Kayser ; Markus Siegle
Model Checking SDL with Spin / Dragan Bošnački ; Dennis Dams ; Leszek Holenderski ; Natalia Sidorova
Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking / Ramesh Bharadwaj ; Steve Sims
Symbolic Model-Checking
Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation / Luca de Alfaro ; Marta Kwiatkowska ; Gethin Norman ; David Parker ; Roberto Segala
Symbolic Reachability Analysis Based on SAT-Solvers / Parosh Aziz Abdulla ; Per Bjesse ; Niklas Eén
Symbolic Representation of Upward-Closed Sets / Giorgio Delzanno ; Jean-François Raskin
BDD vs. Constraint-Based Model Checking: An Experimental Evaluation for Asynchronous Concurrent Systems / Tevfik Bultan
Visual Tools
Tool-Based Specification of Visual Languages and Graphic Editors / Magnus Niemann ; Roswitha Bardohl
VIP: A Visual Editor and Compiler for v-Promela / Moataz Kamel ; Stefan Leue
Verification of Critical Systems
A Comparison of Two Verification Methods for Speculative Instruction Execution / Tamarah Arons ; Amir Pnueli
Partial Order Reductions for Security Protocol Verification / Edmund Clarke ; Somesh Jha ; Will Marrero
Model Checking Security Protocols Using a Logic of Belief / Massimo Benerecetti ; Fausto Giunchiglia
A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors / S. Gnesi ; D. Latella ; G. Lenzini ; C. Abbaneo ; A. Amendola ; P. Marmo
Author Index
Invited Contribution
On the Construction of Automata from Linear Arithmetic Constraints / Pierre Wolper ; Bernard Boigelot
Software and Formal Methods Tools
5.

図書

図書
Reidar Conradi (ed.)
出版情報: Berlin : Springer, c2000  ix, 248 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1780
所蔵情報: loading…
6.

図書

図書
edited by R. N. Horspool
出版情報: London : Published by Chapman & Hall on behalf of the International Federation for Information Processing, 1998  vi, 344 p. ; 24cm
所蔵情報: loading…
7.

図書

図書
Jean Bézivin, Pierre-Alain Muller (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1999  ix, 441 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1618
所蔵情報: loading…
8.

図書

図書
edited by E. Nahouraii ; sponsored by IEEE Computer Society Technical Council on Software Engineering ; in cooperation with Software Engineering Institute, Carnegie Mellon University
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c1997  x, 149 p. ; 28 cm
所蔵情報: loading…
9.

図書

図書
sponsored by ACM SIGSOFT and IEEE Computer Society ; in cooperation with International Federation for Information Processing
出版情報: Los Alamitos, Calif. : IEEE Computer Society, 1997  x, 311 p. ; 28 cm
所蔵情報: loading…
10.

図書

図書
sponsored by the Croucher Foundation ... [et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1997  xvi, 542 p. ; 28 cm
所蔵情報: loading…
11.

図書

図書
Robert France, Bernhard Rumpe (eds.)
出版情報: Berlin : Springer-Verlag, c1999  xvii, 724 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1723
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk 1 (Abstract)
Architecting Web-Based Systems with the Unified Modeling Language / Grady Booch
Software Architecture
Extending Architectural Representation in UML with View Integration / Alexander Egyed ; Nenad Medvidovic
Enabling the Refinement of a Software Architecture into a Design / Marwan Abi-Antoun
Using the UML for Architectural Description / Rich Hilliard
UML and Other Notations
Viewing the OML as a Variant of the UML / Brian Henderson-Sellers ; Colin Atkinson ; Don Firesmith
A Comparison of the Business Object Notation and the Unified Modeling Language / Richard F. Paige ; Jonathan S. Ostroff
Formalizing the UML Class Diagram Using Object-Z / Soon-Kyeong Kim ; David Carrington
Formalizing Interactions
A Formal Approach to Collaborations in the Unified Modeling Language / Gunnar Övergaard
A Formal Semantics for UML Interactions / Alexander Knapp
Panel 1
UML 2.0 Architectural Crossroads: Sculpting or Mudpacking? / Moderator: Chris Kobryn ; Michael Jesse Chonoles ; Steve Cook ; Desmond D'Souza ; Sridhar Iyengar ; Guus Ramackers
Meta-Modeling
Core Meta-Modelling Semantics of UML: The pUML Approach / Andy Evans ; Stuart Kent
A Metamodel for OCL / Mark Richters ; Martin Gogolla
Tools
Tool-Supported Compressing of UML Class Diagrams / Ferenc Dósa Rácz ; Kai Koskimies
A Pragmatic Approach for Building a User-Friendly and Flexible UML Model Repository / Mariano Belaunde
Components
Modeling Dynamic Software Components in UML / Axel Wienberg ; Florian Matthes ; Marko Boger
Extending UML for Modeling Reflective Software Components / Junichi Suzuki ; Yoshikazu Yamamoto
UML Extension Mechanisms
Nine Suggestions for Improving UML Extensibility / Nathan Dykman ; Martin Griss ; Robert Kessler
A Classification of Stereotypes for Object-Oriented Modeling Languages / Stefan Berner ; Martin Glinz ; Stefan Joos
First-Class Extensibility for UML - Packaging of Profiles, Stereotypes, Patterns / Aamod Sane ; Alan Birchenough
Process Modeling
UML-Based Fusion Analysis / Shane Sendall ; Alfred Strohmeier
Using UML for Modelling the Static Part of a Software Process / Xavier Franch ; Josep M. Ribó
Framework for Describing UML Compatible Development Processes / Pavel Hruby
Invited Talk 2
On the Behavior of Complex Object-Oriented Systems / David Harel
Real-Time Systems
UML-RT as a Candidate for Modeling Embedded Real-Time Systems in the Telecommunication Domain / Dominikus Herzberg
Modeling Hard Real Time Systems with UML - The OOHARTS Approach / Laila Kabous ; Wolfgang Nebel
UML Based Performance Modeling Framework for Object-Oriented Distributed Systems / Pekka Kähkipuro
Constraint Languages
Defining the Context of OCL Expressions / Anneke Kleppe ; Richard Mitchell ; Jos Warmer ; Alan Wills
Mixing Visual and Textual Constraint Languages / John Howse
Correct Realizations of Interface Constraints with OCL / Michel Bidoit ; Rolf Hennicker ; Françoise Tort ; Martin Wirsing
Analyzing UML Models 1
Generating Tests from UML Specifications / Jeff Offutt ; Aynur Abdurazik
Formalising UML State Machines for Model Checking / Johan Lilius ; Iván Porres Paltor
Panel 2
SDL as UML: Why and What / Moderator: Bran Selic ; Philippe Dhaussy ; Anders Ek ; Øystein Haugen ; Philippe Leblanc,Birger Møller-Pedersen
Coding 1
UML Behavior: Inheritance and Implementation in Current Object-Oriented Languages / Jean Louis Sourrouille
UML Collaboration Diagrams and Their Transformation to Java / Gregor Engels ; Roland Hücking ; Stefan Sauer ; Annika Wagner
Analyzing UML Models 2
Towards Three-Dimensional Representation and Animation of UML Diagrams / Oliver Radfelder
Typechecking UML Static Models / Tony Clark
Precise Behavioral Modeling
Analysing UML Use Cases as Contracts / Ralph-Johan Back ; Luigia Petre
Closing the Gap Between Object-Oriented Modeling of Structure and Behavior / Holger Giese ; Jörg Graf ; Guido Wirtz
Static Modeling
Black and White Diamonds / Franck Barbier
Interconnecting Objects via Contracts / Luís Filipe Andrade ; José Luiz Fiadeiro
How Can a Subsystem Be Both a Package and a Classifier? / Joaquin Miller ; Rebecca Wirfs-Brock
Applying the UML
Using UML/OCL Constraints for Relational Database Design / Birgit Demuth ; Heinrich Hussmann
Towards a UML Extension for Hypermedia Design / Hubert Baumeister ; Nora Koch ; Luis Mandel
Why Unified is Not Universal? - UML Shortcomings for Coping with Round-Trip Engineering / Serge Demeyer ; Stéphane Ducasse ; Sander Tichelaar
Sequence Diagrams
Timed Sequence Diagrams and Tool-Based Analysis - A Case Study / Thomas Firley ; Michaela Huhn ; Karsten Diethers ; Thomas Gehrke ; Ursula Goltz
Timing Analysis of UML Sequence Diagrams / Xuandong Li
Coding 2
The Normal Object Form: Bridging the Gap from Models to Code / Christian Bunse
Modeling Exceptional Behavior / Neelam Soundarajan ; Stephen Fridella
Panel 3
Advanced Methods and Tools for a Precise UML / Moderator: Andy Evans ; Steve Mellor
Author Index
Invited Talk 1 (Abstract)
Architecting Web-Based Systems with the Unified Modeling Language / Grady Booch
Software Architecture
12.

図書

図書
International Symposium on Software Engineering for Parallel and Distributed Systems ; IEEE Computer Society
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2000  x, 197 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the Chairs
Conference Organization
Referees
A Principled Approach to Supporting Adaptation in Distributed Mobile Environments / G. Blair ; G. Coulson ; A. Andersen ; L. Blair ; M. Clarke ; F. Costa ; H. Duran ; N. Parlavantzas ; K. Saikoski
A Skeleton-Based Approach for the Design and Implementation of Distributed Virtual Environments / F. Rabhi ; H. Cai ; B. Tompsett
Specifying and Verifying Reconfigurable Software Architectures / V. de Paula ; G. Justo ; P. Cunha
Dynamic Reconfiguration of Component-Based Applications / T. Batista ; N. Rodriguez
Applying Distributed Object Technology to Network Planning / T. Wessels ; J. Bishop
Dynamic Workflow Management in CORBA Distributed Object Systems / Z. Tari ; V. Pande
Design of a Virtual Store Using Distributed Object Technology / D. Chambers ; G. Lyons ; J. Duggan
A CORBA-Based Architecture for Adding Dependability to Legacy Servers / D. Cotroneo ; L. Romano ; S. Russo ; N. Mazzocca
Filtering and Scalability in the ECO Distributed Event Model / M. Haahr ; R. Meier ; P. Nixon ; V. Cahill ; E. Jul
Scalability Issues in CORBA / P. Rani ; A. Srinivas ; D. Ram
Formalization and Verification of Coherence Protocols with the Gamma Framework / D. Mentre ; D. Le Metayer ; T. Priol
A CSP Model for Java Multihreading / P. Welch ; J. Martin
A CORBA-Based Object Group Service and a Join Service Providing a Transparent Solution for Parallel Programming / M. Aleksy ; A. Korthaus
Performance Debugging of Parallel and Distributed Embedded Systems / F. Suarez ; D. Garcia ; J. Garcia
Early Evaluation of Design Options for Distributed Systems / H. Giese ; G. Wirtz
Implementation of an Intrusion Detection System Based on Mobile Agents / M. Bernares ; E. dos Santos Moreira
A Formalism for Hierarchical Mobile Agents / I. Satoh
Component Location and the Role of Trading in Large Scale Distributed Systems / S. Terzis
HERCULE: Monitoring Component-Based Application Activity and Enabling Post-Implementation Tailoring of Feedback / K. Renaud
Exploratory Visualization of Distributed Computations: A Case Study / N. Gupta ; E. Kraemer ; D. Hart ; M. Chinwala ; D. Miller
Author Index
Message from the Chairs
Conference Organization
Referees
13.

図書

図書
Francesco Parisi Presicce, (ed.)
出版情報: Berlin ; New York : Springer, c1998  viii, 433 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1376
所蔵情報: loading…
14.

図書

図書
Bernhard Steffen, ed.
出版情報: Berlin ; New York : Springer, c1998  xiii, 455 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1384
所蔵情報: loading…
目次情報: 続きを見る
The 28 revised full papers presented together with an invited talk were selected from a total of 78 submissions
The volume is devoted to conceptual foundations, development, and applications of tools and algorithms
For the specification, verification, analysis, and construction of software and hardware systems
The papers are organized in sections on model checking, design and architecture
Various applications, fielded applications, verification of real-time systems, mixed analysis techniques, and case studies and experience
The 28 revised full papers presented together with an invited talk were selected from a total of 78 submissions
The volume is devoted to conceptual foundations, development, and applications of tools and algorithms
For the specification, verification, analysis, and construction of software and hardware systems
15.

図書

図書
John Fitzgerald, Cliff B. Jones, Peter Lucas, (eds.)
出版情報: Berlin ; New York : Springer, c1997  xiii, 684 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1313
所蔵情報: loading…
16.

図書

図書
edited by Gary M. Olson & Sue Schuon
出版情報: New York : Association for Computing Machinery, c1995  x, 268 p. ; 28 cm
所蔵情報: loading…
17.

図書

図書
Frank van der Linden (ed.)
出版情報: Berlin : Springer-Verlag, c1998  ix, 258 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1429
所蔵情報: loading…
目次情報: 続きを見る
Introduction / H. Obbink ; P.C. Clements ; F.J. van der Linden
Example Architectures
Reusable Framework for Telecontrol Protocols / W. Scherlis ; J. Kuusela ; G. Cysewski ; T. Gromadzki ; H. Lyskawa ; M. Piechowka ; S. Szejko ; W.E. Kozlowski ; O. VahamakiSession 1:
A Software Bus as a Platform for a Family of Distibuted Embedded System Products / E. Niemel&a¨ ; H. Perunka ; T. Korpip&a¨&a¨
A Three-Tier Design Approach for a Family of Large AC Drive Control Systems / P. Kolb ; B. Huber
Modular Turbine Control Software: A Software Architecture for the ABB Gas Turbine Family Control System / C. Ganz ; M. Layes
Experiences with the Evolution of an Application Family Architecture / A. R&o¨sel
Architectural Description
Generic Architecture Descriptions for Product Lines / D.E. Perry ; J. KramerSession 2:
A Model of Interaction in Concurrent and Distributed Systems / N. Pryce ; S. Crane
An Integral Hierarchy and Diversity Model for Describing Product Family Architecture / P. van de Hamer ; A. Saunders ; H. te Sligte
Koala, a Component Model for Consumer Electronics Product Software / R. van Ommering
Architecture Recovery
Recovery of Architectural Structure: A Case Study / J.-M.DeBaud ; M. Jazayeri ; W. Eixelsberger ; M. Kalan ; M. Ogris ; H. Beckman ; B. Bellay ; H. GallSession 3:
Reengineering C/C++ Source Code by Transforming State Machines / R. Knor ; G. Trausmuth ; J. Weidl
An Experiment in Distributed Software Architecture Recovery / N.C. Mendonca
Reverse Engineering to Recover and Describe a System's Architecture
Can Legacy Systems Beget Product Lines? / N. Weiderman ; J. Bergey ; D. Smith ; S. Tilley
The Relation Between the Product Line Development Entry Points and Reengineering / J.-M. DeBaud ; J.-F. Girard
Analysis of Software Architectures
Diagnostic Software Architectures / J.A. de la Puente ; R.T. BechtoldSession 4:
A Software Architecture Evaluation Model / J.C. Dueñas ; W.L. de Oliveira
An Architectural Infrastructure for Product Families / R. Balzer
Assessment of Timing Properties of Family Products / A. Alonso ; M. Garcia-Valls ; J. de la Puente
Development Process
Stakeholders in Software-system Family Architectures / D.M. Weiss ; T. Dolan ; R. Weterings ; J.C. WortmannSession 5:
Handling Variant Requirements in Software Architectures for Product Families / C.C. Yu ; A.L. Ananda ; S. Jarzabek
Architecture-Centric Software Development Based on Extended Design Spaces / L. Baum ; L. Geyer ; G. Molter ; S. Rothkugel ; P. Sturm
Architecting for Domain Variability / J. Meekel ; T.B. Horton ; C. Mellone
Commonality Analysis: A Systematic Process for Defining Families
Structuring Design Decisions for Evolution / A. Karhinen
Structural Views, Structural Evolution, and Product Families / W.L. Scherlis
Product Family and Reuse in Separate Market Driven Profit Centers / J. Brouwer ; A. Jurriens ; H. van Kessel ; A. Schippers
ERW'97 Session Report: Reuse Adoption Experiences Across a Large Corporation / S. Bandinelli
Author Index
Introduction / H. Obbink ; P.C. Clements ; F.J. van der Linden
Example Architectures
Reusable Framework for Telecontrol Protocols / W. Scherlis ; J. Kuusela ; G. Cysewski ; T. Gromadzki ; H. Lyskawa ; M. Piechowka ; S. Szejko ; W.E. Kozlowski ; O. VahamakiSession 1:
18.

図書

図書
Volker Gruhn (ed.)
出版情報: Berlin : Springer, c1998  viii, 155 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1487
所蔵情報: loading…
19.

図書

図書
Carlo Montangero (ed.)
出版情報: Berlin : Springer, c1996  ix, 290 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1149
所蔵情報: loading…
20.

図書

図書
Michel Bidoit, Max Dauchet (eds.)
出版情報: Berlin ; New York ; Tokyo : Springer, c1997  xvi, 884 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1214
所蔵情報: loading…
21.

図書

図書
Ed Brinksma (ed.)
出版情報: Berlin : Springer, c1997  x, 431 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1217
所蔵情報: loading…
22.

図書

図書
edited by Innes Jelly, Ian Gorton and Peter Croll
出版情報: London : Chapman & Hall on behalf of the International Federation for Information Processing, 1996  xi,325p ; 25cm
所蔵情報: loading…
23.

図書

図書
sponsored by IEEE Computer Society, University of Texas at Austin
出版情報: Silver Spring, Md. (1109 Spring St., Silver Spring 20910) : IEEE Computer Society Press, c1983  viii, 221 p. ; 28 cm
所蔵情報: loading…
24.

図書

図書
Wilhelm Schäfer, (ed.)
出版情報: Berlin : Springer-Verlag, c1995  ix, 259 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 913
所蔵情報: loading…
25.

図書

図書
Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach, (eds.)
出版情報: Berlin ; New York ; Tokyo : Springer, c1995  xv, 810 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 915
所蔵情報: loading…
26.

図書

図書
Kokichi Futatsugi, Satoshi Matsuoka, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1996  x, 307 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1049
所蔵情報: loading…
27.

図書

図書
Marie-Claude Gaudel, James Woodcock, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1996  xii, 704 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1051
所蔵情報: loading…
28.

図書

図書
Tiziana Margaria, Bernhard Steffen, (eds.)
出版情報: Berlin : Springer, c1996  xi, 434 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1055
所蔵情報: loading…
29.

図書

図書
David Alex Lamb, (ed.)
出版情報: Berlin : Springer, c1996  188 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1078
所蔵情報: loading…
30.

図書

図書
E. Brinksma ... [et al.], (eds.)
出版情報: Berlin ; New York : Springer, c1995  289 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1019
所蔵情報: loading…
31.

図書

図書
edited by Matthew Lee, Ben-Zion Barta and Peter Juliff
出版情報: London : Chapman & Hall on behalf of the International Federation for Information Processing, 1995  x, 403 p ; 24 cm
所蔵情報: loading…
32.

図書

図書
edited by O. Frieder and J. Wigglesworth ; sponsored by the IEEE Computer Society Technical Council on Software Engineering in cooperation with the University of Toronto
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1996  xii, 147 p. ; 28 cm
所蔵情報: loading…
33.

図書

図書
edited by D. Bjørner ... [et al.]
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  ix, 422 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 252
所蔵情報: loading…
34.

図書

図書
edited by Jozef K. Skwirzynski
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  xiii, 747 p. ; 25 cm
シリーズ名: NATO ASI series ; ser. F . Computer and systems sciences ; v. 22
所蔵情報: loading…
35.

図書

図書
A. Endres, H. Weber, eds
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991  viii, 286 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 509
所蔵情報: loading…
36.

図書

図書
S. Prehn, W.J. Toetenel, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991  2 v. ; 25 cm
シリーズ名: Lecture notes in computer science ; 551, 552
所蔵情報: loading…
37.

図書

図書
[sponsored by IEEE Computer Society, ACM Sigsoft]
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1991  ix, 260 p. ; 28 cm
所蔵情報: loading…
38.

図書

図書
Mark Dowson, editor ; sponsored by Rocky Mountain Institute of Software Engineering in cooperation with Institute of Electrical and Electronics Engineers ... [et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1991  viii, 234 p. ; 28 cm
所蔵情報: loading…
39.

図書

図書
S. Abramsky, T.S.E. Maibaum, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991  viii, 455 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 493 . TAPSOFT '91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 / S. Abramsky, T.S.E. Maibaum (eds.) ; v. 1
所蔵情報: loading…
40.

図書

図書
S. Abramsky, T.S.E. Maibaum, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991  viii, 482 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 494 . TAPSOFT '91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 / S. Abramsky, T.S.E. Maibaum (eds.) ; v. 2
所蔵情報: loading…
41.

図書

図書
J.C. Derniame, ed
出版情報: Berlin ; New York : Springer-Verlag, c1992  viii, 253 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 635
所蔵情報: loading…
42.

図書

図書
D. Bjørner, C.A.R. Hoare, H. Langmaack (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1990  xvii, 579 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 428
所蔵情報: loading…
43.

図書

図書
R. Bloomfield, L. Marshall, R. Jones (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988  ix, 499 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 328
所蔵情報: loading…
44.

図書

図書
co-sponsored by IEEE Computer Society [and] Association for Computing Machinery
出版情報: Washington, D.C. : IEEE Computer Society Press, c1985  vii, 257 p. ; 28 cm
所蔵情報: loading…
45.

図書

図書
International Joint Conference on Theory and Practice of Software Development ; Díaz, Josep, 1950- ; Orejas, Fernando ; Advanced Seminar on Foundations of Innovative Software Development ; Colloquium on Trees in Algebra and Programming
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989  x, 383 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 351 . TAPSOFT '89 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989 / J. Díaz, F. Orejas (eds.) ; v. 1
所蔵情報: loading…
目次情報: 続きを見る
From the Contents: Algorithms.
Proving Techniques.
Algebraic Specifications.
Concurrency.
Foundations.
From the Contents: Programming Language Concepts.
Language Implementation.
Programming Paradigms.
Software Development.
From the Contents: Algorithms.
Proving Techniques.
Algebraic Specifications.
46.

図書

図書
J. Díaz, F. Orejas (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989  x, 389 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 352 . TAPSOFT '89 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989 / J. Díaz, F. Orejas (eds.) ; v. 2
所蔵情報: loading…
目次情報:
Progamming Language Concepts, Language Implementation, Programming Paradigms, Software Development
Progamming Language Concepts, Language Implementation, Programming Paradigms, Software Development
47.

図書

図書
M. Wirsing, J.A. Bergstra, eds
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989-c1991  2 v. ; 25 cm
シリーズ名: Lecture notes in computer science ; 394, 490
所蔵情報: loading…
48.

図書

図書
Brian C. Warboys, (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1994  ix, 274 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 772
所蔵情報: loading…
49.

図書

図書
Shojiro Nishio, Akinori Yonezawa (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1993  543 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 742
所蔵情報: loading…
50.

図書

図書
Maurice Naftalin, Tim Denvir, Miquel Bertran (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994  xi, 723 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 873
所蔵情報: loading…
51.

図書

図書
sponsored by IEEE Computer Society ; in cooperation with ACM SIGSOFT
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1993  xii, 224 p. ; 28 cm
所蔵情報: loading…
52.

図書

図書
M.-C. Gaudel, J.-P. Jouannaud (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1993  xii, 761 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 668
所蔵情報: loading…
53.

図書

図書
J.C.P. Woodcock, P.G. Larsen (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1993  xi, 689 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 670
所蔵情報: loading…
54.

図書

図書
edited by Ez Nahouraii ; with assistance from IBM Systems Software Education
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1992  viii, 320 p. ; 28 cm
所蔵情報: loading…
55.

図書

図書
proceedings editor, Nick Kanapoulos
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press : Institute of Electrical and Electronics Engineers, c1992  viii, 201 p. ; 28 cm
所蔵情報: loading…
56.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Software Engineering, George Washignton University ; [edited by Ez Nahouraii]
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1994  ix, 245 p. ; 28 cm
所蔵情報: loading…
57.

図書

図書
edited by José Cuena
出版情報: Amsterdam ; New York : North-Holland, 1993  xii, 287 p. ; 23 cm
シリーズ名: IFIP transactions ; A . Computer science and technology ; 27
所蔵情報: loading…
58.

図書

図書
Flavio Oquendo (ed.)
出版情報: Berlin ; Tokyo : Springer, c2003  x, 172 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2786
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk
Process Landscaping: From Software Process Modelling to Designing Mobile Business Processes / Volker Gruhn
Research and Experience Papers
Empirical Validation of the Prospect Method for Systematic Software Process Elicitation / Ulrike Becker-Kornstaedt ; Holger Neu
Formalizing Rework in Software Processes / Aaron G. Cass ; Stanley M. Sutton Jr. ; Leon J. Osterweil
Lessons Learned and Recommendations from Two Large Norwegian SPI Programmes / Reidar Conradi ; Tore Dybå ; Dag I.K. Sjoberg ; Tor Ulsund
An Approach and Framework for Extensible Process Support System / Jacky Estublier ; Jorge Villalobos ; Anh-Tuyet LE ; Sonia Sanlaville ; German Vega
Quality Ensuring Development of Software Processes / Alexander Förster ; Gregor Engels
A UML-Based Approach to Enhance Reuse within Process Technology / Xavier Franch ; Josep M. Ribó
Integrated Measurement for the Evaluation and Improvement of Software Processes / Félix García ; Francisco Ruiz ; José Antonio Cruz ; Mario Piattini
Process Support for Evolving Active Architectures / R. Mark Greenwood ; Dharini Balasubramaniam ; Sorana Cîmpan ; Graham N.C. Kirby ; Kath Mickan ; Ron Morrison ; Flavio Oquendo ; Ian Robertson ; Wykeen Seet ; Bob Snowdon ; Brian C. Warboys ; Evangelos Zirintsis
Providing Highly Automated and Generic Means for Software Deployment Process / Vincent Lestideau ; Noureddine Belkhatir
Flexible Static Semantic Checking Using First-Order Logic / Shimon Rura ; Barbara Lerner
A Compliant Environment for Enacting Evolvable Process Models / Brian Warboys
Position Paper
Decentralised Coordination for Software Process Enactment / Jun Yan ; Yun Yang ; Gitesh K. Raikundalia
Author Index
Invited Talk
Process Landscaping: From Software Process Modelling to Designing Mobile Business Processes / Volker Gruhn
Research and Experience Papers
59.

図書

図書
Keijiro Araki, Stefania Gnesi, Dino Mandrioli (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xvii, 942 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2805
所蔵情報: loading…
60.

図書

図書
Jean-Marc Jézéquel, Heinrich Hussmann, Stephen Cook (eds.)
出版情報: Berlin : Springer, c2002  xii, 447 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2460
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk
Descriptions in Software Development / Michael Jackson
Metamodelling
A Metamodel for the Unified Modeling Language / Andrey Naumenko ; Alain Wegmann
Metamodeling Mathematics: A Precise and Visual Framework for Describing Semantics Domains of UML Models / Dániel Varró ; András Pataricza
A Radical Reduction of UML's Core Semantics / Friedrich Steimann ; Thomas Kühne
Applying the UML
Configuration Knowledge Representation Using UML/OCL / Alexander Felfernig ; Gerhard Friedrich ; Dietmar Jannach ; Markus Zanker
Using UML for Information Modeling in Industrial Systems with Multiple Hierarchies / Peter Fröhlich ; Zaijun Hu ; Manfred Schoelzke
Adapting the UML to Business Modelling's Needs - Experiences in Situational Method Engineering / Andreas Dietzsch
Digging into the Metamodel
Analysis of UML Stereotypes within the UML Metamodel / Martin Gogolla ; Brian Henderson-Sellers
Stereotypical Encounters of the Third Kind / Colin Atkinson
Digging into Use Case Relationships / Gonzalo Génova ; Juan Llorens ; Víctor Quintana
Experience with MDA
Practical Experiences in the Application of MDA / Miguel de Miguel ; Jean Jourdan ; Serge Salicki
Executable Design Models for a Pervasive Healthcare Middleware System / Jens Bæk Jørgensen ; Søren Christensen
Generating Code from UML with Velocity Templates / Thorsten Sturm ; Jesco von Voss ; Marko Boger
Invited Talk 2
Does Your Software Creak as It Runs? / Bran Selic
Real-Time & Formal Semantics
Integrating the Synchronous Paradigm into UML: Application to Control-Dominated Systems / Charles André ; Marie-Agnès Peraldi-Frati ; Jean-Paul Rigault
A UML Profile for Real-Time Constraints with the OCL / Stephan Flake ; Wolfgang Mueller
HOL-OCL: Experiences, Consequences and Design Choices / Achim D. Brucker ; Burkhart Wolff
Model Engineering 1
Consistency-Preserving Model Evolution through Transformations / Gregor Engels ; Reiko Heckel ; Jochen M. Küster ; Luuk Groenewegen
Transformations and Software Modeling Languages: Automating Transformations in UML / Jon Whittle
A Relational Approach to Defining Transformations in a Metamodel / David Akehurst ; Stuart Kent
Profiles
On Customizing the UML for Modeling Performance-Oriented Applications / Sabri Pllana ; Thomas Fahringer
Modelling QoS: Towards a UML Profile / Jan Øyvind Aagedal ; Earl F. Ecklund ; Jr.
Extending the UML for Multidimensional Modeling / Sergio Luján-Mora ; Juan Trujillo ; Il- Yeol Song
Model Engineering 2
A Metamodel for Package Extension with Renaming / Tony Clark ; Andy Evans
Applying MDA Concepts to Develop a Domain CORBA Facility for E-learning / Luis Anido ; Manuel Caeiro ; Judith Rodríguez ; Juan Santos
Rapid Development of Modular Dynamic Web Sites Using UML / Tim Schattkowsky ; Marc Lohmann
Invited Talk 3
Software, Heal Thyself! / David Garlan
Methodology
The Specification of UML Collaborations as Interaction Components / Eric Cariou ; Antoine Beugnard
Measuring OO Design Metrics from UML / Mei-Huei Tang ; Mei-Hwa Chen
The Cow_Suite Approach to Planning and Deriving Test Suites in UML Projects / Francesca Basanieri ; Antonia Bertolino ; Eda Marchetti
Diagram Interchange & Security
Diagram Interchange for UML / Mario Jeckle ; Stefan Mueller ; Jens Fransson
UMLsec: Extending UML for Secure Systems Development / Jan Jürjens
SecureUML: A UML-Based Modeling Language for Model-Driven Security / Torsten Lodderstedt ; David Basin ; Jürgen Doser
Workshops and Tutorials
Workshops and Tutorials at the UML 2002 Conference
Author Index
Invited Talk
Descriptions in Software Development / Michael Jackson
Metamodelling
61.

図書

図書
Alberto Sangiovanni-Vincentelli, Joseph Sifakis (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  ix, 421 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2491
所蔵情報: loading…
目次情報: 続きを見る
Embedded Systems: Challenges in Specification and Verification / Amir Pnueli
An Approach to Designing Safe Embedded Software / Nancy G. Leveson
Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?) / David Harel
Platform-Based Embedded Software Design for Multi-vehicle Multi-modal Systems / T. John Koo ; Judith Liebman ; Cedric Ma ; Benjamin Horowitz ; Alberto Sangiovanni-Vincentelli ; Shankar Sastry
A Giotto-Based Helicopter Control System / Christoph M. Kirsch ; Marco A.A. Sanvido ; Thomas A. Henzinger ; Wolfgang Pree
Principles of Real-Time Programming
Time-Safety Checking for Embedded Programs / Rupak Majumdar ; Slobodan Matic
Compositional Modeling in Metropolis / Gregor Gossler
Timed Interfaces / Luca de Alfaro ; Marielle Stoelinga
Description and Schedulability Analysis of the Software Architecture of an Automated Vehicle Control System / Stavros Tripakis
Formal Modeling and Analysis of Advanced Scheduling Features in an Avionics RTOS / Darren Cofer ; Murali Rangarajan
Scalable Applications for Energy-Aware Processors / Giorgio C. Buttazzo
Upgrading Embedded Software in the Field: Dependability and Survivability / Lui Sha
Real-Time Virtual Resource: A Timely Abstraction for Embedded Systems / Aloysius K. Mok ; Alex Xiang Feng
JCOD: A Lightweight Modular Compilation Technology for Embedded Java / Bertrand Delsart ; Vania Joloboff ; Eric Paire
Decreasing Memory Overhead in Hard Real-Time Garbage Collection / Tobias Ritzau ; Peter Fritzson
Speedup Prediction for Selective Compilation of Embedded Java Programs / Vincent Colin de Verdiere ; Sebastien Cros ; Christian Fabre ; Romain Guider ; Sergio Yovine
Synchronous Modelling of Asynchronous Systems / Nicolas Halbwachs ; Siwar Baghdadi
A Protocol for Loosely Time-Triggered Architectures / Albert Benveniste ; Paul Caspi ; Paul Le Guernic ; Herve Marchand ; Jean-Pierre Talpin
Automatic Production of Globally Asynchronous Locally Synchronous Systems / Alain Girault ; Clement Menier
Adaptive and Reflective Middleware for Distributed Real-Time and Embedded Systems / Douglas C. Schmidt
Toward an Approximation Theory for Computerised Control
A New Facility for Dynamic Control of Program Execution: DELI / Giuseppe Desoli ; Nikolay Mateev ; Evelyn Duesterwald ; Paolo Faraboschi ; Josh Fisher
Design Tools for Application Specific Embedded Processors / Wei Qin ; Subramanian Rajagopalan ; Manish Vachharajani ; Hangsheng Wang ; Xinping Zhu ; David August ; Kurt Keutzer ; Sharad Malik ; Li-Shiuan Peh
Processor Pipelines and Their Properties for Static WCET Analysis / Jakob Engblom ; Bengt Jonsson
ILP-Based Interprocedural Path Analysis / Henrik Theiling
Enhancing Compiler Techniques for Memory Energy Optimizations / Joseph Zambreno ; Mahmut Taylan Kandemir ; Alok Choudhary
FlexCC2: An Optimizing Retargetable C Compiler for DSP Processors / Valerie Bertin ; Jean-Marc Daveau ; Philippe Guillaume
Thierry Lepley, Denis Pilat, Claire Richard, Miguel Santana, and Thomas Thery Physical Programming: Beyond Mere Logic / Bran Selic
Processes, Interfaces and Platforms. Embedded Software Modeling in Metropolis / F. Balarin ; L. Lavagno ; C. Passerone ; Y. Watanabe
Author Index
Embedded Systems: Challenges in Specification and Verification / Amir Pnueli
An Approach to Designing Safe Embedded Software / Nancy G. Leveson
Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?) / David Harel
62.

図書

図書
Hubert Garavel, John Hatcliff (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xvi, 604 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2619
所蔵情報: loading…
63.

図書

図書
Rajeev Alur, Insup Lee (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  x, 372 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2855
所蔵情報: loading…
64.

図書

図書
Perdita Stevens, Jon Whittle, Grady Booch (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xiv, 413 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2863
所蔵情報: loading…
目次情報: 続きを見る
Inivited Talk 1
Agile Processes: Developing Your Own """"Secret Recipes"""" / Peter Coad
Practical Model Management
Difference and Union of Models / Marcus Alanen ; Ivan Porres
GREAT: UML Transformation Tool for Porting Middleware Applications / Alexander Christoph ; Matthias M. Müller
Model-Centric Engineering with the Evolution and Validation Environment / Jörn Guy Süß ; Andreas Leicher ; Herbert Weber ; Ralf-D. Kutsche
Time and Quality of Service
Representing Temporal Information in UML / Jordi Cabot ; Antoni Olivé ; Ernest Teniente
Formal Semantics of UML with Real-Time Constructs / Subash Shankar ; Sinan Asa
A QoS-Oriented Extension of UML Statecharts / David N. Jansen ; Holger Hermanns ; Joost-Pieter Katoen
Short Tool Papers
CheckVML: A Tool for Model Checking Visual Modeling Languages / Ákos Schmidt ; Dániel Varró
A Workbench to Experiment on New Model Engineering Applications / Ralph-Johan Back ; Dag Björklund ; Johan Lilius ; Luka Milovanov
ProGUM-Web: Tool Support for Model-Based Development of Web Applications / Marc Lohmann ; Stefan Sauer ; Tim Schattkowsky
Composition and Architecture
On the Key Role of Compositioning Object-Oriented Modelling / Friedrich Steimann ; Jens Gößner ; Thomas Mück
Compositional and Relational Reasoning during Class Abstraction / Alexander Egyed
Encoding Informal Architectural Descriptions with UML: An Experience Report / Yaojin Yang ; Jianli Xu
Inivited Talk 2
UML/MDA Reality Check: Heterogenous Architecture Style / Nicolas F. Rouquette
Transformation
Towards Automating Source-Consistent UML Refactorings / Pieter Van Gorp ; Hans Stenten ; Tom Mens ; Serge Demeyer
Model Refactorings as Rule-Based Update Transformations
Reflective Model Driven Engineering / Jean Bézivin ; Nicolas Farcet ; Jean-Marc Jézéquel ; Benoît Langlois ; Damien Pollet
The Web
A Model-Driven Runtime Environment for Web Applications / Joerg Pleumann ; Stefan Haustein
Using UML and XMI for Generating Adaptive Navigation Sequences in Web-Based Systems / Peter Dolog ; Wolfgang Nejdl
Platform Independent Web Application Modeling / Pierre-Alain Muller ; Philippe Studer
Testing and Validation
Rigorous Testing by Merging Structural and Behavioral UML Representations / Orest Pilskalns ; Anneliese Andrews ; Sudipto Ghosh ; Robert France
Towards Automated Support for Deriving Test Data from UML Statecharts / Lionel C. Briand ; Jim Cui ; Yvan Labiche
Validation of UML and OCL Models by Automatic Snapshot Generation / Martin Gogolla ; Jörn Bohling ; Mark Richters
Improving UML/OCL
A Critique of UML's Definition of the Use-Case Class / Sadahiro Isoda
Modelling Database Views with Derived Classes in the UML OCL Framework / Hermann Balsters
An OCL Extension for Low-Coupling Preserving Contracts / Isabel Nunes
Invited Talk 3
What Is the Point of the UML? / Martin Fowler
Consistency
Using Description Logic to Maintain Consistency between UML Models / Ragnhild Van Der Straeten ; Jocelyn Simmonds ; Viviane Jonckers
Modeling and Testing Legacy Data Consistency Requirements / Jan Pettersen Nytun ; Christian S. Jensen
The Consistency Workbench: A Tool for Consistency Management in UML-Based Development / Gregor Engels ; Reiko Heckel ; Jochen M. Küster
Methodology
Developing Safety-Critical Systems with UML / Jan Jürjens
Consistent and Complete Access Control Policies in Use Cases / Khaled Alghathbar ; Duminda Wijesekera
STAIRS - Steps to Analyze Interactions with Refinement Semantics / Øystein Haugen ; Ketil Stølen
Workshops and Tutorials
Workshops at the UML 2003 Conference / Ana Moreira
Tutorials at the UML 2003 Conference / João Araújo
Author Index
Inivited Talk 1
Agile Processes: Developing Your Own """"Secret Recipes"""" / Peter Coad
Practical Model Management
65.

図書

図書
Martin Wirsing, Dirk Pattinson, Rolf Hennicker (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  viii, 456 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2755
所蔵情報: loading…
目次情報: 続きを見る
Invited Technical Papers
AGILE: Software Architecture for Mobility / L. Andrade ; P. Baldan ; H. Baumeister ; R. Bruni ; A. Corradini ; R. De Nicola ; J.L. Fiadeiro ; F. Gadducci ; S. Gnesi ; P. Hoffman ; N. Koch ; P. Kosiuczenko ; A. Lapadula ; D. Latella ; A. Lopes ; M. Loreti ; M. Massink ; F. Mazzanti ; U. Montanari ; C. Oliveira ; R. Pugliese ; A. Tarlecki ; M. Wermelinger ; M. Wirsing ; A. Zawlocki
A Coinductive Calculus of Component Connectors / F. Arbab ; J.J.M.M. Rutten
An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint / E. Astesiano ; G. Reggio
MultiMedia Instruction in Safe and Secure Systems / B. Krieg-Bruckner ; D. Hutter ; A. Lindow ; C. Luth ; A. Mahnke ; E. Melis ; P. Meier ; A. Poetzsch-Heffter ; M. Roggenbach ; G. Russell ; J.-G. Smaus
Invited Non-technical Papers
Zero, Connected, Empty / R.A. Goguen ; J.A. Goguen
Zero, Connected, Empty: An Essay after a Cantata
Contributed Papers
Type Checking Parametrised Programs and Specifications in ASL+FPC / D. Aspinall
Pre-nets, Read Arcs and Unfolding: A Functorial Presentation
Coreflective Concurrent Semantics for Single-Pushout Graph Grammars / L. Ribeiro
Completeness Results for Fibred Parchments / C. Caleiro ; P. Gouveia ; J. Ramos
Use of Patterns in Formal Development: Systematic Transition from Problems to Architectural Designs / C. Choppy ; M. Heisel
Conditional Circular Coinductive Rewriting with Case Analysis / K. Lin ; G. Rosu
Verifying Generative Casl Architectural Specifications
Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens / K. Hoffmann ; T. Mossakowski
The Coinductive Approach to Verifying Cryptographic Protocols / J. Hughes ; M. Warnier
Behavioural Equivalence and Indistinguishability in Higher-Order Typed Languages / S. Katsumata
Approach-Independent Structuring Concepts for Rule-Based Systems / H.-J. Kreowski ; S. Kuske
Notions of Behaviour and Reachable-Part and Their Institutions / A. Kurz
Combining Specification Formalisms in the `General Logic' of Multialgebras / Y. Lamo ; M. Walicki
On How Distribution and Mobility Interfere with Coordination
Foundations of Heterogeneous Specification
Algebraic-Coalgebraic Specification in CoCasl / H. Reichel ; L. Schroder
Translating Logics for Coalgebras / D. Pattinson
Presenting and Combining Inference Systems / W. Pawlowski
Monad-Independent Dynamic Logic in HasCasl / L. Schröder
Preserving Properties in System Redesign: Rule-Based Approach / M. Urbasek
Author Index
Invited Technical Papers
AGILE: Software Architecture for Mobility / L. Andrade ; P. Baldan ; H. Baumeister ; R. Bruni ; A. Corradini ; R. De Nicola ; J.L. Fiadeiro ; F. Gadducci ; S. Gnesi ; P. Hoffman ; N. Koch ; P. Kosiuczenko ; A. Lapadula ; D. Latella ; A. Lopes ; M. Loreti ; M. Massink ; F. Mazzanti ; U. Montanari ; C. Oliveira ; R. Pugliese ; A. Tarlecki ; M. Wermelinger ; M. Wirsing ; A. Zawlocki
A Coinductive Calculus of Component Connectors / F. Arbab ; J.J.M.M. Rutten
66.

図書

図書
Tiziana Margaria, Wang Yi (eds.)
出版情報: Berlin : Springer, c2001  xiv, 588 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2031
所蔵情報: loading…
目次情報: 続きを見る
Invited Contributions
Branching vs. Linear Time: Final Showdown / M.Y. Vardi
Propositional Reasoning / M.P. Fourman
Symbolic Verification
Language Containment Checking with Nondeterministic BDDs / B. Finkbeiner
Satisfiability Checking Using Boolean Expression Diagrams / P.F. Williams ; H. Reif Andersen ; H. Hulgaard
A Library for Composite Symbolic Representations / T. Yavuz-Kahveci ; M. Tuncer ; T. Bultan
Infinite State Systems: Deduction and Abstraction
Synthesis of Linear Ranking Functions / M.A. Colon ; H.B. Sipma
Automatic Deductive Verification with Invisible Invariants / A. Pnueli ; S. Ruah ; L. Zuck
Incremental Verification by Abstraction / Y. Lakhnech ; S. Bensalem ; S. Berezin ; S. Owre
A Technique for Invariant Generation / A. Tiwari ; H. Rueβ ; H. Saïdi ; N. Shankar
Application of Model Checking Techniques
Model Checking Syllabi and Student Careers / R. Sebastiani ; A. Tomasi ; F. Giunchiglia
Verification of Vortex Workflows / X. Fu ; R. Hull ; J. Su
Parameterized Verification of Multithreaded Software Libraries / T. Ball ; S. Chaki ; S.K. Rajamani
Timed and Probabilistic Systems
Efficient Guiding Towards Cost-Optimality in UPPAAL / G. Behrmann ; A. Fehnker ; T. Hune ; K. Larsen ; P. Pettersson ; J. Romijn
Linear Parametric Model Checking of Timed Automata / M. Stoelinga, ; F. Vaandrager
Abstraction in Probabilistic Process Algebra / S. Andova ; J.CM. Baeten
First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders / T.C. Ruys ; R. Langerak ; J.-P. Katoen ; D. Latella ; M. Massik
Hardware: Design and Verification
Hardware/Software Co-design Using Functional Languages / A. Mycroft ; R. Sharp
Automatic Abstraction of Memories in the Formal Verification of Superscalar Microprocessors / M.N. Velev
Software Verification
Boolean and Cartesian Abstraction for Model Checking C programs / A. Podelski
Finding Feasible Counter-examples when Model Checking Abstracted Java Programs / C.S. Păs&abrebe;reanu ; M.B. Dwyer ; W. Visser
The LOOP Compiler for Java and JML / J. van den Berg ; B. Jacobs
Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking / A. Crmatti ; M. Roveri ; P. Bertoli
Saturation: An Efficient Iteration Strategy for Symbolic State-Space Generation / G. Ciardo ; G. Lüttgen ; R. Siminiceanu
Testing: Techniques and Tools
Automated Test Generation from Timed Automata / B. Nielsen ; A. Skou
Testing an Intentional Naming Scheme Using Genetic Algorithms / S. Khurshid
Building a Tool for the Analysis and Testing of Web Applications: Problems and Solutions / F. Ricca ; P. Tonella
TATOO: Testing and Analysis Tool for Object-Oriented Software / A.L. Souter ; T.M. Wong ; S.A. Shindo ; L.L. Pollock
Implementation Techniques
Implementing a Multi-valued Symbolic Model Checker / M. Chechik ; B. Devereux ; S. Easterbrook
Is There a Best Symbolic Cycle-Detection Algorithm? / K. Fisler ; R. Fraer ; G. Kamhi ; M. Y. Vardi ; Z. Yang
Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets / R. Carvajal-Schiaffino ; G. Delzanno ; G. Chiola
A Sweep-Line Method for State Space Exploration / S. Christensen ; L.M. Kristensen ; T. Mailund
Semantics and Compositional Verification
Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams / N. Amla ; E.A. Emerson ; K. Namjoshi ; R. Trefler
Simulation Revisited / L. Tan ; R. Cleaveland
Compositional Message Sequence Charts / E.L. Gunter ; A. Muscholl|CD.A. Peled
An Automata Based Interpretation of Live Sequence Charts|CJ. Klose|CH. Wittke
Logics and Model-Checking
Coverage Metrics for Temporal Logic Model Checking|CH. Chockler|CO. Kupferman|CM. Y. Vardi
Parallel Model Checking for the Alternation Free $$-Calculus|CB. Bollig / CM. Leucker ; M. Weber
Model Checking CTL*[DC] / P.K. Pandya
ETAPS Tool Demonstration
CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets ETAPS Tool Demonstration Related to TACAS / M. Beaudomn-Lafon ; W.E. Mackay ; M. Jensen ; P. Andersen ; P. Janecek ; M. Lassen ; K. Lund ; K. Mortensen ; S. Munck ; A. Ratzer ; K. Ravn ; K. Jensen
The ASM Workbench: A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models / G. Del Castillo
The Erlang Verification Tool / T. Noll ; L. Fredlund ; D. Gurov
Author Index
Invited Contributions
Branching vs. Linear Time: Final Showdown / M.Y. Vardi
Propositional Reasoning / M.P. Fourman
67.

図書

図書
Vincenzo Ambriola (ed.)
出版情報: Berlin : Springer, c2001  viii, 245 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2077
所蔵情報: loading…
目次情報: 続きを見る
Web Services and Their Composition / F. Leymann
The PIE Methodology - Concept and Application / P.-Y. Cunin ; R.M. Greenwood ; L. Francou ; I. Robertson ; B. Warboys
Reflection and Reification in Process System Evolution: Experience and Opportunity / D. Balasubramaniam ; G. Kirby ; K. Mayes ; R. Morrison ; W. Seet ; E. Zirintsis
Monitoring Software Process Interactions: A Logic-Based Approach / I. Alloui ; S. Cimpan ; F. Oquendo
Experiences with Behavioural Process Modelling in FEAST, and Some of Its Practical Implications / M.M. Lehman ; J.F. Ramil ; G. Kahen
Software Process Technology Transfer: Using a Formal Process Notation to Capture a Software Process in Industry / U. Becker-Kornstaedt ; H. Neu ; G. Hirche
An Evaluation of the Spearmint Approach to Software Process Modelling / L. Scott ; L. Carvalho ; R. Jeffery ; J. D'Ambra
A Software Process for an Integrated Electronic Commerce Portal System / V. Gruhn ; L. Schöpe
A Mobile Agent Approach to Process-Based Dynamic Adaptation of Complex Software Systems / G. Valetto ; G. Kaiser ; G.S. Kc
Process Support for Mobile Work across Heterogeneous Systems / A.I. Wang ; L. Chunnian
A Delegation Based Model for Distributed Software Process Management / S. Becker ; D. Jäger ; A. Schleicher ; B. Westfechtel
Applying Real-Time Scheduling Techniques to Software Processes: A Position Paper / A.G. Cass ; L.J. Osterweil
Building Expressive and Flexible Process Models Using an UML-Based Approach / J.M. Ribó ; X. Franch
Describing Process Patterns with UML (Position Paper) / H. Störrle
Towards a Living Software Development Process Based on Process Patterns / M. Gnatz ; F. Marschall ; G. Popp ; A. Rausch ; W. Schwerin
Modeling a Support Framework for Dynamic Organizations as a Process Pattern Using UML / J. Sa
A Taxonomy to Compare SPI Frameworks / C.P. Halvorsen ; R. Conradi
Configuration Management Culture as the Kernel to Success in Software Process Improvement Efforts / T.C. Green ; K.M. Anderson
Reporting about the Mod Software Process / G.A. Cignoni
Author Index
Web Services and Their Composition / F. Leymann
The PIE Methodology - Concept and Application / P.-Y. Cunin ; R.M. Greenwood ; L. Francou ; I. Robertson ; B. Warboys
Reflection and Reification in Process System Evolution: Experience and Opportunity / D. Balasubramaniam ; G. Kirby ; K. Mayes ; R. Morrison ; W. Seet ; E. Zirintsis
68.

図書

図書
Andy Evans, Stuart Kent, Bran Selic (eds.)
出版情報: Berlin : Springer, c2000  xiv, 572 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1939
所蔵情報: loading…
69.

図書

図書
Maura Cerioli, Gianna Reggio (eds.)
出版情報: Berlin : Springer, c2001  x, 343 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2267
所蔵情報: loading…
70.

図書

図書
Lars-Henrik Eriksson, Peter Alexander Lindsay (eds.)
出版情報: Berlin : Springer, c2002  xi, 624 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2391
所蔵情報: loading…
目次情報: 続きを見る
Little Engines of Proof / Natarajan Shankar
Automated Boundary Testing from Z and B / Bruno Legeard ; Fabien Peureux ; Mark Utting
Improvements in Coverability Analysis / Gil Ratsaby ; Baruch Sterin ; Shmuel Ur
Heuristic-Driven Test Case Selection from Formal Specifications. A Case Study / Juan C. Burguillo-Rial ; Manuel J. Fernandez-Iglesias ; Francisco J. González-Castaño ; Martín Llamas-Nistal
UniTesK Test Suite Architecture / Igor B. Bourdonov ; Alexander S. Kossatchev ; Victor V. Kuliamin ; Alexander K. Petrenko
Hoare Logicfor NanoJava: Auxiliary Variables, Side Effects, and Virtual Methods Revisited / David von Oheimb ; Tobias Nipkow
Do Not Read This / Juan C. Bicarregui
Safeness of Make-Based Incremental Recompilation / Niels Jørgensen
An AlgorithmicApproach to Design Exploration / Sharon Barner ; Shoham Ben-David ; Anna Gringauze ; Yaron Wolfsthal
Verifying Erlang Code: A Resource Locker Case-Study / Alexandre Mota ; Paulo Borba ; Augusto Sampaio ; Thomas Arts ; Clara Benac Earle ; John Derrick
Towards an Integrated Model Checker for Railway Signalling Data / Michael Huber ; Steve King
Correctness by Construction: Integrating Formality into a Commercial Development Process / Anthony Hall
VAlloy - Virtual Functions Meet a Relational Language / Darko Marinov ; Sarfraz Khurshid
Verification Using Test Generation Techniques / Vlad Rusu
Formal Specification and Static Checking of GemplusÆ Electronic Purse Using ESC/Java / Nestor Catano ; Marieke Huisman
Development of an Embedded Verifier for Java Card Byte Code Using Formal Methods / Ludovic Casset
Deriving Cryptographically Sound Implementations Using Composition and Formally Verified Bisimulation / Michael Backes ; Christian Jacobi ; Birgit Pfitzmann
Interference Analysis for Dependable Systems Using Refinement and Abstraction / Claus Pahl
The Formal Classification and Verification of SimpsonÆs 4-Slot Asynchronous Communication Mechanism / N. Henderson ; S.E. Paynter
Timing Analysis of Assembler Code Control-Flow Paths / C.J. Fidge
Towards OCL/RT / María Victoria Cengarle ; Alexander Knapp
On Combining Functional Verification and Performance Evaluation Using CADP / Hubert Garavel ; Holger Hermanns
The Next 700 Synthesis Calculi / David Basin
Synthesizing Certified Code / Michael Whalen ; Johann Schumann ; Bernd Fischer
Refinement in Circus / Jim Woodcock ; Ana Cavalcanti
Forward Simulation for Data Refinement of Classes / David A. Naumann
A Formal Basis for a Program Compilation Proof Tool / Luke Wildman
Property Dependent Abstraction of Control Structure for Software Verification / Thomas Firley ; Ursula Goltz
Closing Open SDL-Systems for Model Checking with DTSpin / Natalia Ioustinova ; Natalia Sidorova ; Martin Steffen
A Generalised Sweep-Line Method for Safety Properties / Lars Michael Kristensen ; Thomas Mailund
Supplementing a UML Development Process with B / Helen Treharne
SemanticWeb for Extending and Linking Formalisms / Jin Song Dong ; Jing Sun ; Hai Wang
A Language for Describing Wireless Mobile Applications with DynamicEstablishment of Multi-way Synchronization Channels / Takaaki Umedu ; Yoshiki Terashima ; Keiichi Yasumoto ; Akio Nakata ; Teruo Higashino ; Kenichi Taniguchi
Author Index
Little Engines of Proof / Natarajan Shankar
Automated Boundary Testing from Z and B / Bruno Legeard ; Fabien Peureux ; Mark Utting
Improvements in Coverability Analysis / Gil Ratsaby ; Baruch Sterin ; Shmuel Ur
71.

図書

図書
Frank van der Linden (ed.)
出版情報: Berlin ; New York : Springer, c2000  viii, 254 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1951
所蔵情報: loading…
72.

図書

図書
Thomas A. Henzinger, Christoph M. Kirsch (eds.)
出版情報: Berlin : Springer, c2001  ix, 504 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2211
所蔵情報: loading…
73.

図書

図書
José Nuno Oliveira, Pamela Zave (eds.)
出版情報: Berlin : Springer, c2001  xiii, 628 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2021
所蔵情報: loading…
目次情報: 続きを見る
Lightweight Formal Methods / Daniel Jackson
Reformulation: A Way to Combine Dynamic Properties and B Refinement / F. Bellegarde ; C. Darlot ; J. Julliand ; O. Kouchnarenko
Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries / Steffen Helke ; Thomas Santen
Proofs of Correctness of Cache-Coherence Protocols / Joseph Stoy ; Xiaowei Shen ; Arvind
Model-Checking Over Multi-valued Logics / Marsha Chechik ; Steve Easterbrook ; Victor Petrovykh
How to Make FDR Spin: LTL Model Checking of CSP by Refinement / Michael Leuschel ; Thierry Massart ; Andrew Currie
Avoiding State Explosion for Distributed Systems with Timestamps / Fabrice Derepas ; Paul Gastin ; David Plainfossé
Secrecy-Preserving Refinement / Jan JÜrjens
Information Flow Control and Applications - Bridging a Gap - / Heiko Mantel
A Rigorous Approach to Modeling and Analyzing E-Commerce Architectures / Vasu S. Alagar ; Zheng Xi
A Formal Model for Reasoning about Adaptive QoS-Enabled Middleware / Nalini Venkatasubramanian ; Carolyn Talcott ; Gul Agha
A Programming Model for Wide-Area Computing / Jayadev Misra
A Formal Model of Object-Oriented Design and GoF Design Patterns / Andres Flores ; Richard Moore ; Luis Reynoso
Validation of UML Models Thanks to Z and Lustre / Sophie Dupuy-Chessa ; Lydie du Bousquet
Components, Contracts, and Connectors for the Unified Modelling Language UML / Claus Pahl
An Integrated Approach to Specification and Validation of Real-Time Systems / Adnan Sherif ; Augusto Sampaio ; Sergio Cavalcante
Real-Time Logic Revisited / Stephen E. Paynter
Improvements in BDD-Based Reachability Analysis of Timed Automata / Dirk Beyer
Serialising Parallel Processes in a Hardware/Software Partitioning Context / Leila Silva ; Geraint Jones
Verifying Implementation Relations / Jonathan Burton ; Maciej Koutny ; Giuseppe Pappalardo
An Adequate Logic for Full LOTOS / Muffy Calder ; Savi Maharaj ; Carron Shankland
Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics (Mc) / M'icheal Mac an Airchinnigh
Faithful Translations among Models and Specifications / Shmuel Katz
Composing Contracts: An Adventure in Financial Engineering / Simon Peyton Jones
From Complex Specifications to a Working Prototype. A Protocol Engineering Case Study / Manuel J. Fernández Iglesias ; Francisco J. González-Castaño ; José M. Pousada Carballo ; Mart'in Llamas Nistal ; Alberto Romero Feijoo
Coverage Directed Generation of System-Level Test Cases for the Validation of a DSP System / Laurent Arditi ; Hédi Boufa¿ied ; Arnaud Cavanié ; Vincent Stehlé
Using Formal Verification Techniques to Reduce Simulation and Test Effort / O. Laurent ; P. Michel ; V. Wiels
Transacted Memory for Smart Cards / Pieter H. Hartel ; Michael J. Butler ; Eduard de Jong ; Mark Longley
Houdini, an Annotation Assistant for ESC/Java / Cormac Flanagan ; K. Rustan M. Leino
A Heuristic for Symmetry Reductions with Scalarsets / Dragan BoÜnački ; Dennis Dams ; Leszek Holenderski
View Updatability Based on the Models of a Formal Specification / Michael Johnson ; Robert Rosebrugh
Grammar Adaptation / Ralf Lammel
Test-Case Calculation through Abstraction / Bernhard K. Aichernig
A Modular Approach to the Specification and Validation of an Electrical Flight Control System / M. Doche ; I. Vernier-Mounier ; F. Kordon
A Combined Testing and Verification Approach for Software Reliability / Natasha Sharygina ; Doron Peled
Author Index
Lightweight Formal Methods / Daniel Jackson
Reformulation: A Way to Combine Dynamic Properties and B Refinement / F. Bellegarde ; C. Darlot ; J. Julliand ; O. Kouchnarenko
Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries / Steffen Helke ; Thomas Santen
74.

図書

図書
sponsored by Software Engineering Institute ... [et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2006-  v ; 27-30 cm
所蔵情報: loading…
75.

図書

図書
co-sponsored by IEEE Computer Society, National Bureau of Standards, ACM SIGSOFT
出版情報: Silver Spring, MD : IEEE Computer Society Press, c1983  xi, 395 p. ; 28 cm
所蔵情報: loading…
76.

図書

図書
EMSOFT
出版情報: New York, N.Y. : ACM, c2005  xi, 380 p. ; 28 cm
所蔵情報: loading…
77.

図書

図書
sponsored by Korea Information Science Society ; in cooperation with Korea Science Engineering Foundation ... [et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2004  xx, 744 p. ; 28 cm
所蔵情報: loading…
78.

図書

図書
Ita Richardson, Per Runeson, Richard Messnarz (eds.)
出版情報: Berlin : Springer, c2006  xi, 218 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 4257
所蔵情報: loading…
79.

図書

図書
International Workshop on Advances and Applications of Problem Frames ; International Conference on Software Engineering
出版情報: New York, NY : ACM Press, c2006  90 p. ; 28 cm
所蔵情報: loading…
80.

図書

図書
ACM SIGPLAN--SIGSOFT Workshop on Program Analysis for Software Tools and Engineering ; European Software Engineering Conference ; ACM SIGSOFT Symposium on the Foundations of Software Engineering ; ACM Special Interest Group in Programming Languages ; Association for Computing Machinery
出版情報: New York, N.Y. : Association for Computing Machinery, c2005  114 p. ; 28 cm
所蔵情報: loading…
81.

図書

図書
editors, Jonathan I. Maletic ... [et al.] ; sponsored by ACM, SIGSOFT, SIGART
出版情報: New York, NY : Association for Computing Machinery, c2005  79 p. ; 28 cm
所蔵情報: loading…
82.

図書

図書
Workshop on Aspects, Components, and Patterns for Infrastructure Software ; International Conference on Aspect-Oriented Software Development ; Spinczyk, Olaf ; Südholt, Mario ; Gibbs, Celina
出版情報: New York, N.Y. : Association for Computing Machinery, c2007  66 p. ; 28 cm
所蔵情報: loading…
83.

図書

図書
event sponsors, Thought Works (Title Sponsor) ... [et al.] ; media sponsors, Cutter Consortium, Software Development Magazine ; in cooperation with, ACM SigSoft, AITO, IEEE
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2003  viii, 165 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the Conference Chair
Program Committee
Experience Reports Committee
Research Papers
YP and Urban Simulation: Applying an Agile Programming Methodology in a Politically Tempestuous Domain / B. Freeman-Benson ; A. Borning
XP Culture: Why the Twelve Practices Both Are and Are Not the Most Significant Thing / H. Robinson ; H. Sharp
Parfait: Towards a Framework-Based Agile Reengineering Process / M. Cagnin ; J. Maldonado ; F. Germano ; R. Penteado
Observations on Balancing Discipline and Agility / B. Boehm ; R. Turner
Finding a Place for Discount Usability Engineering in Agile Development: Throwing Down the Gauntlet / D. Kane
Test Driven Development and the Scientific Method / R. Mugridge
Experience Reports
Change Your Organization (For Peons) / J. Little
Evolving Agile in the Enterprise: Implementing XP on a Grand Scale / M. Spayd
Improving the Interface between Business and Product Development Using Agile Practices and the Cycles of Control Framework / J. Vanhanen ; J. Itkonen ; P. Sulonen
It's More Than Just Toys and Food: Leading Agile Development in an Enterprise-Class Start-Up / J. Blotner
Retrofitting an Acceptance Test Framework for Clarity / E. Tempero
"Ready-to-Roll" Boxcar Development--A Flexible, Quality-Weighted Process / R. Hill
Iteration Advocate/Iteration Transition Meeting: Small Sampling of New Agile Techniques Used at a Major Telecommunications Firm / B. Boelsterli
Making Agile Software Development Work in a Government Contracting Environment: Measuring Velocity with Earned Value / G. Alleman ; M. Henderson ; R. Seggelke
Certifying for CMM Level 2 and ISO9001 with XPScrum / C. Vriens
Agile Development in the Old Economy / G. Derbier
Introducing Agile Development into Bioinformatics: An Experience Report
Agile Development and Remote Teams: Learning to Love the Phone / C. Sepulveda
Unfixing the Fixed Scope Project: Using Agile Methodologies to Create Flexibility in Project Scope / J. Patton
An Agile Request for Proposal Process (RFP) Process / J. Andrea
Daily Iterations: Approaching Code Freeze and Half the Team Is Not Agile / C. Cooley
Author Index
Message from the Conference Chair
Program Committee
Experience Reports Committee
84.

図書

図書
Holger Hermanns, Jens Palsberg (eds.)
出版情報: Berlin : Springer, c2006  xvi, 506 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3920
所蔵情報: loading…
85.

図書

図書
Jayadev Misra, Tobias Nipkow, Emil Sekerinski (eds.)
出版情報: Berlin : Springer, c2006  xv, 620 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 4085
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk
The Embedded Systems Design Challenge / Thomas A. Henzinger ; Joseph Sifakis
Interactive Verification
The Mondex Challenge: Machine Checked Proofs for an Electronic Purse / Gerhard Schellhorn ; Holger Grandy ; Dominik Haneberg ; Wolfgang Reif
Interactive Verification of Medical Guidelines / Jonathan Schmitt ; Alwin Hoffmann ; Michael Balser ; Mar Marcos
Certifying Airport Security Regulations Using the Focal Environment / David Delahaye ; Jean-Frederic Etienne ; Veronique Viguie Donzeau-Gouge
Proving Safety Properties of an Aircraft Landing Protocol Using I/O Automata and the PVS Theorem Prover: A Case Study / Shinya Umeno ; Nancy Lynch
Validating the Microsoft Hypervisor / Ernie Cohen
Formal Modelling of Systems
Interface Input/Output Automata / Kim G. Larsen ; Ulrik Nyman ; Andrzej Wasowski
Properties of Behavioural Model Merging / Greg Brunet ; Marsha Chechik ; Sebastian Uchitel
Automatic Translation from Circus to Java / Angela Freitas ; Ana Lucia Caneca Cavalcanti
Quantitative Refinement and Model Checking for the Analysis of Probabilistic Systems / Annabelle K. McIver
Real Time
Modeling and Validating Distributed Embedded Real-Time Systems with VDM++ / Marcel Verhoef ; Peter Gorm Larsen ; Jozef Hooman
Towards Modularized Verification of Distributed Time-Triggered Systems / Jewgenij Botaschanjan ; Alexander Gruler ; Alexander Harhurin ; Leonid Kof ; Maria Spichkova ; David Trachtenherz
Industrial Experience
A Story About Formal Methods Adoption by a Railway Signaling Manufacturer / Stefano Bacherini ; Alessandro Fantechi ; Matteo Tempestini ; Niccolo Zingoni
Partially Introducing Formal Methods into Object-Oriented Development: Case Studies Using a Metrics-Driven Approach / Yujun Zheng ; Jinquan Wang ; Kan Wang ; Jinyun Xue
Specification and Refinement
Compositional Class Refinement in Object-Z / Tim McComb ; Graeme Smith
A Proposal for Records in Event-B / Neil Evans ; Michael Butler
Pointfree Factorization of Operation Refinement / Jose Nuno Oliveira ; Cesar Jesus Rodrigues
A Formal Template Language Enabling Metaproof / Nuno Amalio ; Susan Stepney ; Fiona Polack
Programming Languages
Dynamic Frames: Support for Framing, Dependencies and Sharing Without Restrictions (Best Paper) / Ioannis T. Kassios
Type-Safe Two-Level Data Transformation / Alcino Cunha ; Joost Visser
Algebra
Feature Algebra / Peter Hofner ; Ridha Khedri ; Bernhard Moller
Education
Using Domain-Independent Problems for Introducing Formal Methods / Raymond Boute
Compositional Binding in Network Domains / Pamela Zave
Formal Modeling of Communication Protocols by Graph Transformation / Zarrin Langari ; Richard Trefler
Feature Specification and Static Analysis for interaction Resolution / Marc Aiguier ; Karim Berkani ; Pascale Le Gall
A Fully General Operational Semantics for UML 2.0 Sequence Diagrams with Potential and Mandatory Choice / Mass Soldal Lund ; Ketil Stolen
Formal Aspects of Java
Towards Automatic Exception Safety Verification / Xin Li ; H. James Hoover ; Piotr Rudnicki
Enforcer - Efficient Failure Injection / Cyrille Valentin Artho ; Armin Biere ; Shinichi Honiden
Automated Boundary Test Generation from JML Specifications / Fabrice Bouquet ; Frederic Dadeau ; Bruno Legeard
Formal Reasoning About Non-atomic Java Card Methods in Dynamic Logic / Wojciech Mostowski
Formal Verification of a C Compiler Front-End / Sandrine Blazy ; Zaynah Dargaye ; Xavier Leroy
A Memory Model Sensitive Checker for C# / Thuan Quang Huynh ; Abhik Roychoudhury
Changing Programs Correctly: Refactoring with Specifications / Fabian Bannwart ; Peter Muller
Mechanical Verification of Recursive Procedures Manipulating Pointers Using Separation Logic / Viorel Preoteasa
Model Checking
Model-Based Variable and Transition Orderings for Efficient Symbolic Model Checking / Wendy Johnston ; Kirsten Winter ; Lionel van den Berg ; Paul Strooper ; Peter Robinson
Exact and Approximate Strategies for Symmetry Reduction in Model Checking / Alastair F. Donaldson ; Alice Miller
Monitoring Distributed Controllers: When an Efficient LTL Algorithm on Sequences Is Needed to Model-Check Traces / Alexandre Genon ; Thierry Massart ; Cedric Meuter
PSL Model Checking and Run-Time Verification Via Testers / Amir Pnueli ; Aleksandr Zaks
Industry Day: Abstracts of Invited Talks
Formal Methods for Security: Lightweight Plug-In or New Engineering Discipline / Werner Stephan
Formal Methods in the Security Business: Exotic Flowers Thriving in an Expanding Niche / David von Oheimb
Connector-Based Software Development: Deriving Secure Protocols / Dusko Pavlovic
Model-Based Security Engineering for Real / Jan Jurjens
Cost Effective Software Engineering for Security / D. Randolph Johnson
Formal Methods and Cryptography / Michael Backes ; Birgit Pfitzmann ; Michael Waidner
Verified Software Grand Challenge / Jim Woodcock
Author Index
Invited Talk
The Embedded Systems Design Challenge / Thomas A. Henzinger ; Joseph Sifakis
Interactive Verification
86.

図書

図書
Hubert Baumeister, Michele Marchesi, Mike Holcombe (eds.)
出版情報: Berlin : Springer, c2005  xiv, 332 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3556
所蔵情報: loading…
87.

図書

図書
co-sponsored by IEEE Computer Society Technical Committee on Simulation, IEEE Computer Society Technical Committee on Design and Automation
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2005  xv, 272 p. ; 28 cm
所蔵情報: loading…
88.

図書

図書
Ivica Crnkovic ... [et al]
出版情報: Berlin ; Tokyo : Springer, c2004  xi, 309 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3054
所蔵情報: loading…
89.

図書

図書
Carmen Zannier, Hakan Erdogmus, Lowell Lindstrom (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xiv, 225 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3134
所蔵情報: loading…
90.

図書

図書
Nuno Jardim Nunes ... [et al.] (eds.)
出版情報: Berlin : Springer, c2005  xiv, 294 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3297
所蔵情報: loading…
91.

図書

図書
Nicolas Halbwachs, Lenore D. Zuck (eds.)
出版情報: Berlin ; Tokyo : Springer, c2005  xvii, 588 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3440
所蔵情報: loading…
92.

図書

図書
Kurt Jensen, Andreas Podelski (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xiv, 608 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2988
所蔵情報: loading…
93.

図書

図書
Thomas Baar ... [et al.], (eds.)
出版情報: Berlin : Springer, c2004  xiii, 454 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3273
所蔵情報: loading…
94.

図書

図書
International Workshop on Systems Development in SOA Environments ; International Conference on Software Engineering ; Association for Computing Machinery
出版情報: New York : Association for Computing Machinery, c2008  80 p. ; 28 cm
所蔵情報: loading…
95.

図書

図書
International Workshop on Ultra-Large-Scale Software-Intensive Systems ; ACM Sigsoft
出版情報: New York : Association for Computing Machinery, c2008  72 p. ; 28 cm
所蔵情報: loading…
96.

図書

図書
International Workshop on Advances and Applications of Problem Frames ; International Conference on Software Engineering
出版情報: New York, N.Y. : Association for Computing Machinery, c2008 New York, N.Y. : Association for Computing Machinery, c2008  81 p. ; 28 cm
所蔵情報: loading…
97.

図書

図書
International Workshop on Predictor Models in Software Engineering ; ACM Sigsoft
出版情報: New York : Association for Computing Machinery, c2008  100 p. ; 28 cm
所蔵情報: loading…
98.

図書

図書
SDG2008 ; ACM Sigsoft
出版情報: New York : Association for Computing Machinery, c2008  28 p. ; 28 cm
所蔵情報: loading…
99.

図書

図書
International Workshop on Formal Techniques for Java-like Programs ; European Conference on Object-Oriented Programming
出版情報: New York : Association for Computing Machinery, c2009  62 p. ; 28 cm
所蔵情報: loading…
100.

図書

図書
International Workshop on Dissributed Objects for the 21st Century ; European Conference on Object-Oriented Programming
出版情報: New York : Association for Computing Machinery, c2009  22 p. ; 28 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼