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