close
1.

図書

図書
John Dean, Andrée Gravel (eds.)
出版情報: Berlin : Springer, c2002  xiv, 255 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2255
所蔵情報: loading…
2.

図書

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

図書

図書
sponsored by IEEE Computer Society Technical Council on Software Engineering ; with incorporate support by Fujitsu, Lucent Technologies, Rational
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2000  xi, 197 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the Conference Chairs
Organizing Committee
Steering Committee
Program Committee
Author Index
Keynote 1
Requirements-Related Risks in Critical Systems / P. Neumann
Process and Modeling
Process Modeling for Object Oriented Analysis Using BORM Object Behavioral Analysis / R. Knott ; V. Merunka ; J. Polak
On the Challenges of Business Modeling in Large-Scale Reengineering Projects / J. Gulla ; T. Brasethvik
A Process Framework for Requirements Analysis and Specification / E. Garcia-Alcazar ; A. Monzon
Specifications
A Framework for Multi-Notation Requirements Specification and Analysis / N. Day ; J. Joyce
A Lightweight Approach to Consistency of Scenarios and Class Models / M. Glinz
Poster Session Highlights
Z Specifications Meet Mathematica for Exploratory Prototyping / L. Sherrell ; W. Paulsen
Patterns and Aspects for Use Cases: Reuse Techniques for Use Case Descriptions / M. Saeki
The Requirement Set / P. Ferdinandi
Panel Session 1
Why is it so Difficult to Introduce Requirements Engineering Research Results into Mainstream Requirements Engineering Practice? / H. Kaindl
Why is it so Easy to Introduce Requirements Engineering Technology Transfer Panels into Mainstream Practice? / S. Greenspan
Transferring Research Results in Requirements to Practice: Obstacles and Incentives / C. Heitmeyer
Is there a Gap between RE Research and RE Practice? / J. Leite
Obstacles and Incentives in Introducing RE Research Results into RE Practice / N. Mead ; J. Siddiqi
Keynote 2
Requirements Documentation: Why a Formal Basis is Essential / D. Parnas
Evolution
Prioritizing Scenario Evolution / F. Moisiadis
Scenario Evolution: A Closer View on Relationships / K. Breitman
Enhancing Requirements and Change Management through Process Modeling and Measurement / L. Lavazza ; G. Valetto
Requirements Analysis and Management
Scalable Mechanisms for Requirements Interaction Management / M. Feather ; S. Cornford ; M. Gibbel
Essential and Incidental Complexity in Requirements Models / L. Nguyen ; P. Swatman
Lightweight Validation of Natural Language Requirements: A Case Study / V. Gervasi ; B. Nuseibeh
Panel Session 2
What Do You Mean I've Been Practicing without a License? Certification and Licensing of Requirements Engineering Professionals / A. Anton ; J. Atlee
What Do You Mean I'm Practicing without a License? Certification and Licensing of Requirements Engineering Professionals
Certitude and Rectitude
Two Positions on Licensing
Reuse
Mapping Requirements to Reusable Components Using Design Spaces / L. Baum ; M. Becker ; L. Geyer ; G. Molter
Establishing Reuse Measurement Practices in SAP Requirements Engineering / M. Daneva
An Assessment of the Relative Efficiency of a Facilitator-Driven Requirements Collection Process with Respect to the Conventional Interview Method / R. Hubbard ; C. Schroeder
Best Papers
A Reference Model for Requirements and Specifications--Extended Abstract / C. Gunter ; E. Gunter ; M. Jackson ; P. Zave
Requirements Validation of a Voice Communication System Used in Air Traffic Control / J. Horl ; B. Aichernig
The Effects of Communication Media on Group Performance in Requirements Engineering / D. Damian ; A. Eberlein ; M. Shaw ; B. Gaines
Keynote 3
Requirements Engineering: What Have We Accomplished? Where Are We Now? Where Are We Going? / D. Gause
Message from the Conference Chairs
Organizing Committee
Steering Committee
4.

図書

図書
sponsored by IEEE Computer Society ; in cooperation with AAAI Society, Virtual Intelligence Task Force, BU-CIS Center
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1999  xvii, 446 p. ; 28 cm
所蔵情報: loading…
5.

図書

図書
Tom Maibaum (ed.)
出版情報: Berlin : Springer, c2000  xiii, 374 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1783
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
An Essay on Software Engineering at the Turn of Century / Wladyslaw M. Turski
Memex Is Not Enough / Richard Mark Soley
From Play-In Scenarios to Code: An Achievable Dream / David Harel
Real-Time Systems
Parallel Refinement Mechanisms for Real-Time Systems / Paul Z. Kolano ; Richard A. Kemmerer ; Dino Mandrioli
Applying RT-Z to Develop Safety-Critical Systems / Carsten Sühl
A Process Algebra for Real-Time Programs / Henning Dierks
Formally Engineering Systems
System Fault Tolerance Specification: Proposal of a Method Combining Semi-formal and Formal Approaches / Giovanna Dondossola ; Oliver Botti
Structuring and Design of Reactive Systems Using RSDS and B / K. Lano ; K. Androutsopoulos ; D. Clark
Using Domain-Specific Languages for the Realization of Component Composition / Matthias Anlauff ; Philipp W. Kutter ; Alfonso Pierantonio ; Asuman Sünbül
Software Engineering
Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach / G. Reggio ; E. Astesiano ; C. Choppy ; H. Hussmann
Software as Learning: Quality Factors and Life-Cycle Revised / José Hernández-Orallo ; Ma José Ram'irez-Quintana
What Is 'Mathematicalness' in Software Engineering? / Hidetaka Kondoh
A Formal Approach to Heterogeneous Software Modeling / Alexander Egyed ; Nenad Medvidovic
Object Orientation
Formal Specification of Object-Oriented Meta-modelling / Gunnar Övergaard
Verification of Object Oriented Programs Using Class Invariants / Kees Huizing ; Ruurd Kuiper ; SOOP
Verification of Object-Z Specifications by Using Transition Systems: Application to the Radiomobile Network Design Problem / Pablo Gruer ; Vincent Hilaire ; Abder Koukam
A Model for Describing Object-Oriented Systems from Multiple Perspectives / Torsten Nelson ; Donald Cowan ; Paulo Alencar
Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems / J. Padberg ; K. Hoffmann ; M. Gajewsky
Theory and Applications
Ready-Simulation Is Not Ready to Express a Modular Refinement Relation / Françoise Bellegarde ; Jacques Julliand ; Olga Kouchnarenko
Java Program Verification via a Hoare Logic with Abrupt Termination / Marieke Huisman ; Bart Jacobs
Foundations for Software Configuration Management Policies Using Graph Transformations / Francesco Parisi-Presicce ; Alexander L. Wolf
Analyzing Non-functional Properties of Mobile Agents / Pascal Fradet ; Valérie Issarny ; Siegfried Rouvrais
Case Studies
Specification of an Automatic Manufacturing System: A Case Study in Using Integrated Formal Methods / Heike Wehrheim
A Case Study on Using Automata in Control Synthesis / Thomas Hune ; Anders Sandholm
Demonstrations
Formal System Development with KIV / Michael Balser ; Wolfgang Reif ; Gerhard Schellhorn ; Kurt Stenzel ; Andreas Thums
More About TAS and IsaWin - Tools for Formal Program Development / Christoph Lüth ; Burkhart Wolff
Using Maude / Manuel Clavel ; Fransisco Duran ; Steven Eker ; Patrick Lincoln ; Narciso Mart'i-Oliet ; Jose Meseguer ; Jose F. Quesada
Author Index
Invited Papers
An Essay on Software Engineering at the Turn of Century / Wladyslaw M. Turski
Memex Is Not Enough / Richard Mark Soley
6.

図書

図書
C. Pandu Rangan, V. Raman, R. Ramanujam (eds.)
出版情報: Berlin : Springer, c1999  xii, 452 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1738
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk
Recent Developments in the Theory of Arrangements of Surfaces / Micha Sharir
Session 1(a)
Dynamic Compressed Hyperoctrees with Application to the N-body Problem / Srinivas Aluru ; Fatih E. Sevilgen
Largest Empty Rectangle among a Point Set / Jeet Chaudhuri ; Subhas C. Nandy
Session 1(b)
Renaming Is Necessary in Timed Regular Expressions / Philippe Herrmann
Product Interval Automata: A Subclass of Timed Automata / Deepak D'Souza ; P. S. Thiagarajan
Session 2(a)
The Complexity of Rebalancing a Binary Search Tree / Rolf Fagerberg
Fast Allocation and Deallocation with an Improved Buddy System / Erik D. Demaine ; Ian J. Munro
Session 2(b)
Optimal Bounds for Transformations of ω-Automata / Christof Löding
CTL+ Is Exponentially More Succinct than CTL / Thomas Wilke
A Top-Down Look at a Secure Message / Martín Abadi ; Cédric Fournet ; Georges Gonthier
Session
Explaining Updates by Minimal Sums / Jürgen Dix ; Karl Schlechta
A Foundation for Hybrid Knowledge Bases / James J. Lu ; Neil V. Murray ; Erik Rosenthal
Hoare Logic for Mutual Recursion and Local Variables / David von Oheimb
Explicit Substitutions and Programming Languages / Jean-Jacques Lévy ; Luc Maranget
Session 5(a)
Approximation Algorithms for Routing and Call Scheduling in All-Optical Chains and Rings / Luca Becchetti ; Miriam Di Ianni ; Alberto Marchetti-Spaccamela
A Randomized Algorithm for Flow Shop Scheduling / Naveen Garg ; Sachin Jain ; Chaitanya Swamy
Session 5(b)
Synthesizing Distributed Transition Systems from Global Specifications / Ilaria Castellani ; Madhavan Mukund
Beyond Region Graphs: Symbolic Forward Analysis of Timed Automata / Supratik Mukhopadhyay ; Andreas Podelski
Implicit Temporal Query Languages: Towards Completeness / Nicole Bidoit ; Sandra de Amo
On the Undecidability of Some Sub-classical First-Order Logics / Matthias Baaz ; Agata Ciabattoni ; Christian Fermüller ; Helmut Veith
How to Compute with DNA* / Lila Kari ; Mark Daley ; Greg Gloor ; Rani Siromoney ; Laura F. Landweber
Session 7(a)
A High Girth Graph Construction and a Lower Bound for Hitting Set Size for Combinatorial Rectangles / L. Sunil Chandran
Protecting Facets in Layered Manufacturing / Jörg Schwerdt ; Michiel Smid ; Ravi Janardan ; Eric Johnson ; Jayanth Majhi
Session 7(b)
The Receptive Distributed π-Calculus (Extended Abstract) / Roberto M. Amadio ; Gérard Boudol ; Cédric Lhoussaine
Series and Parallel Operations on Pomsets / Zoltán Ésik ; Satoshi Okawa
Unreliable Failure Detectors with Limited Scope Accuracy and an Application to Consensus / Achour Mostéfaoui ; Michel Raynal
Graph Isomorphism: Its Complexity and Algorithms / Seinosuke Toda
Session 9(a)
Computing with Restricted Nondeterminism: The Dependence of the OBDD Size on the Number of Nondeterministic Variables / Martin Sauerhoff
Lower Bounds for Linear Transformed OBDDs and FBDDs (Extended Abstract) / Detlef Sieling
Session 9(b)
A Unifying Framework for Model Checking Labeled Kripke Structures, Modal Transition Systems, and Interval Transition Systems / Michael Huth
Graded Modalities and Resource Bisimulation / Flavio Corradini ; Rocco De Nicola ; Anna Labella
Session 10(a)
The Non-recursive Power of Erroneous Computation / Christian Schindelhauer ; Andreas Jakoby
Analysis of Quantum Functions (Preliminary Version) / Tomoyuki Yamakami
Session 10(b)
On Sets Growing Continuously / Bernhard Heinemann
Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract) / Ron van der Meyden ; Nikolay V. Shilov
FST&TCS - ISAAC Joint Session Talks
The Engineering of Some Bipartite Matching Programs / Kurt Mehlhorn
Author Index
Invited Talk
Recent Developments in the Theory of Arrangements of Surfaces / Micha Sharir
Session 1(a)
7.

図書

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

図書

図書
Oscar Nierstrasz, Michel Lemoine (eds.)
出版情報: Berlin : Springer, c1999  xii, 527 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1687
ACM SIGSOFT software engineering notes ; vol. 24, no. 6 Nov. 1999
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Extreme Programming: A Discipline of Software Development (Abstract) / Kent Beck
Components and Generative Programming / Krzysztof Czarnecki ; Ulrich W. Eisenecker
Software Components
A Component and Communication Model for Push Systems / Manfred Hauswirth ; Mehdi Jazayeri
A Fine-Grained Model for Code Mobility / Cecilia Mascolo ; Gian Pietro Picco ; Gruia-Catalin Roman
Robots: A Real-Time Systems Architectural Style / Vered Gafni
Software Process
Collaboration and Composition: Issues for a Second Generation Process Language / Brian C. Warboys ; Dharini Balasubramaniam ; R. Mark Greenwood ; Graham N.C. Kirby ; Ken Mayes ; Ron Morrison ; Dave S. Munro
Using UML for Software Process Modeling / Dirk Jäger ; Ansgar Schleicher ; Bernhard Westfechtel
A Probabilistic Model for Software Projects / Frank Padberg
Specification
Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future / Nancy G. Leveson ; Mats P.E. Heimdahl ; Jon Damon Reese
Using Model Checking to Generate Tests from Requirements Specifications / Angelo Gargantini ; Constance Heitmeyer
Specification-Based Prototyping for Embedded Systems / Jeffrey M. Thompson ; Steven P. Miller
Program Analysis
Coping with Type Casts in C / Michael Siff ; Satish Chandra ; Thomas Ball ; Krishna Kunchithapadam ; Thomas Reps
Efficient Points-to Analysis for Whole-Program Analysis / Donglin Liang ; Mary Jean Harrold
The Concept of Dynamic Analysis
Data-Flow Analysis of Program Fragments / Atanas Rountev ; Barbara G. Ryder ; William Landi
Testing and Debugging
Yesterday, My Program Worked. Today, It Does Not. Why? / Andreas Zeller
Comparison Checking: An Approach to Avoid Debugging of Optimized Code / Clara Jaramillo ; Rajiv Gupta ; Mary Lou Soffa
Structural Specification-Based Testing: Automated Support and Experimental Evaluation / Juei Chang ; Debra J. Richardson
An Efficient Relevant Slicing Method for Debugging / Tibor Gyimóthy ; Árpád Beszédes ; István Forgács
Java
Analyzing Exception Flow in JavaÖ Programs / Martin P. Robillard ; Gail C. Murphy
An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs / Gleb Naumovich ; George S. Avrunin ; Lori A. Clarke
CoffeeStrainer: Statically-Checked Constraints on the Definition and Use of Types in Java / Boris Bokowski
Architecture and Models
The CIP Method: Component- and Model-Based Construction of Embedded Systems / Hugo Fierz
Algebraic Software Architecture Reconfiguration / Michel Wermelinger ; José Luiz Fiadeiro
Consistency Checking for Multiple View Software Architectures / Pascal Fradet ; Daniel Le Métayer ; Michaël Périn
Reuse
Synergy between Component-Based and Generative Approaches / Stan Jarzabek ; Peter Knauber
Transitioning Legacy Assets to a Product Line Architecture / Joachim Bayer ; Jean-François Girard ; Martin Würthner ; Jean-Marc DeBaud ; Martin Apel
CHIME: A Metadata-Based Distributed Software Development Environment / Stephen E. Dossick ; Gail E. Kaiser
Verification and Checking
FACADE: A Typed Intermediate Language Dedicated to Smart Cards / Gilles Grimaud ; Jean-Louis Lanet ; Jean-Jacques Vandewalle
Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal Verification / Victor A. Braberman ; Miguel Felder
Checking Progress with Action Priority: Is it Fair? / Dimitra Giannakopoulou ; Jeff Magee ; Jeff Kramer
Author Index
Invited Papers
Extreme Programming: A Discipline of Software Development (Abstract) / Kent Beck
Components and Generative Programming / Krzysztof Czarnecki ; Ulrich W. Eisenecker
9.

図書

図書
sponsored by the IEEE Computer Society, Israel Chapter
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c1997  ix, 129 p. ; 27 cm
所蔵情報: loading…
10.

図書

図書
edited by Peter Milligan, Patrick Corr
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c1997  xiv, 290 p. ; 23 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼