close
1.

図書
図書
1. Tools and Algorithms for the Construction and Analysis of Systems : 8th International Conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings
Joost-Pieter Katoen, Perdita Stevens (eds.)
出版情報: Berlin : Springer, c2002  xiii, 482 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2280
所蔵情報: loading…
2.

図書
図書
2. Component-based software engineering : 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005 : proceedings
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
3.

図書
図書
3. Tools and algorithms for the construction and analysis of systems : 6th International Conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings
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
4.

図書
図書
4. Software process technology : 7th European Workshop, EWSPT 2000, Kaprun, Austria, February 21-25, 2000 : proceedings
Reidar Conradi (ed.)
出版情報: Berlin : Springer, c2000  ix, 248 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1780
所蔵情報: loading…
5.

図書
図書
5. Proceedings, International Symposium on Software Engineering for Parallel and Distributed Systems : 10-11 June, 2000, Limerick, Ireland ([: pbk.] ; : case ; : microfiche)
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
6.

図書
図書
6. Software process technology : 9th European Workshop, EWSPT 2003, Helsinki, Finland, September 1-2, 2003 : proceedings
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
7.

図書
図書
7. FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings
Keijiro Araki, Stefania Gnesi, Dino Mandrioli (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xvii, 942 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2805
所蔵情報: loading…
8.

図書
図書
8. 《UML》 2002 - the Unified Modeling Language : model engineering, concepts, and tools : 5th International Conference, Dresden, Germany, September 30 - October 4, 2002 : proceedings
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
9.

図書
図書
9. Embedded software : Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002 : proceedings
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
10.

図書
図書
10. Tools and algorithms for the construction and analysis of systems : 9th International Conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings
Hubert Garavel, John Hatcliff (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xvi, 604 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2619
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼