close
1.

図書

図書
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
2.

図書

図書
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
3.

図書

図書
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
4.

図書

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

図書

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

図書

図書
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
7.

図書

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

図書

図書
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
9.

図書

図書
Martin Gogolla, Cris Kobryn (ed.)
出版情報: Berlin : Springer, c2001  xiv, 510 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2185
所蔵情報: loading…
10.

図書

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

図書

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

図書

図書
Ita Richardson, Pekka Abrahamsson, Richard Messnarz (eds.)
出版情報: Berlin : Springer, c2005  viii, 213 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3792
所蔵情報: loading…
13.

図書

図書
Mingshu Li, Barry Boehm, Leon J. Osterweil (eds.)
出版情報: Berlin : Springer, c2005  xvi, 522 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3840
所蔵情報: loading…
14.

図書

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

図書

図書
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
16.

図書

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

図書

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

図書

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

図書

図書
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…
20.

図書

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

図書

図書
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…
22.

図書

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

図書

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

図書

図書
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…
25.

図書

図書
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…
26.

図書

図書
Workshop on Script to Program Evolution ; European Conference on Object-Oriented Programming
出版情報: New York : Association for Computing Machinery, c2009  70 p. ; 28 cm
所蔵情報: loading…
27.

図書

図書
Workshop on Implementation, Compilation, Optimization of Object - Oriented Languages and Programming System ; European Conference on Object-Oriented Programming
出版情報: New York : Association for Computing Machinery, c2009  73 p. ; 28 cm
所蔵情報: loading…
28.

図書

図書
ECOOP Workshop on Reflection, AOP and Meta-Data for Software Evolution ; European Conference on Object-Oriented Programming
出版情報: New York : Association for Computing Machinery, c2009  38 p. ; 28 cm
所蔵情報: loading…
29.

図書

図書
European Lisp Workshop ; European Conference on Object-Oriented Programming
出版情報: New York : Association for Computing Machinery, c2009  34 p. ; 28 cm
所蔵情報: loading…
30.

図書

図書
Workshop on Parallel/High-Performance Object-Oriented Scientific Computing ; European Conference on Object-Oriented Programming
出版情報: New York : Association for Computing Machinery, c2009  85 p. ; 28 cm
所蔵情報: loading…
31.

図書

図書
International Workshop on Context-Oriented Programming ; European Conference on Object-Oriented Programming
出版情報: New York : Association for Computing Machinery, c2009  56 p. ; 28 cm
所蔵情報: loading…
32.

図書

図書
International Workshop on Context-Oriented Programming ; European Conference on Object-Oriented Programming
出版情報: New York : Association for Computing Machinery, c2009  39 p. ; 28 cm
所蔵情報: loading…
33.

図書

図書
International Workshop on Exception Handling ; ACM SIGSOFT International Symposium on Foundations of Software Engineering
出版情報: New York : Association for Computing Machinery, c2008  68 p. ; 28 cm
所蔵情報: loading…
34.

図書

図書
Workshop on Aspects, Components, and Patterns for Infrastructure Software ; Association for Computing Machinery
出版情報: New York : Association for Computing Machinery, c2009  47 p. ; 28 cm
所蔵情報: loading…
35.

図書

図書
sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on Complexity in Computing ; in cooperation with Software Engineers Association of Japan ... [et al.] ; [edited by Michael G. Hinchey and Shaoying Liu]
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c1997  xi, 327 p. ; 28 cm
所蔵情報: loading…
36.

図書

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

図書

図書
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
38.

図書

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

図書

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

図書

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

図書

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

図書

図書
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…
43.

図書

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

図書

図書
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…
45.

図書

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

図書

図書
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
47.

図書

図書
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…
48.

図書

図書
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…
49.

図書

図書
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…
50.

図書

図書
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…
51.

図書

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

図書

図書
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
53.

図書

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

図書

図書
Didier Bert, Christine Choppy, Peter Mosses (eds.)
出版情報: Berlin : Springer, c2000  x, 476 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1827
所蔵情報: loading…
55.

図書

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

図書

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

図書

図書
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
58.

図書

図書
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…
59.

図書

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

図書

図書
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
61.

図書

図書
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…
62.

図書

図書
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…
63.

図書

図書
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
64.

図書

図書
Workshop on Aspects, Components, and Patterns for Infrastructure Software ; Association for Computing Machinery
出版情報: New York : Association for Computing Machinery, c2008  60 p. ; 28 cm
所蔵情報: loading…
65.

図書

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

図書

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

図書

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

図書

図書
Frank Maurer, Don Wells (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xi, 213 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2753
所蔵情報: loading…
69.

図書

図書
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
70.

図書

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

図書

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

図書

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

図書

図書
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
74.

図書

図書
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
75.

図書

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

図書

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

図書

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

図書

図書
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…
79.

図書

図書
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…
80.

図書

図書
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…
81.

図書

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

図書

図書
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…
83.

図書

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

図書

図書
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…
85.

図書

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

図書

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

図書

図書
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…
88.

図書

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

図書

図書
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…
90.

図書

図書
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…
91.

図書

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

図書

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

図書

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

図書

図書
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…
95.

図書

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

図書

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

図書

図書
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…
98.

図書

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

図書

図書
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…
100.

図書

図書
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…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼