close
1.

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

図書
sponsored by the Croucher Foundation ... [et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1997  xvi, 542 p. ; 28 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼