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.

図書

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

図書

図書
Teodor Rus (ed.)
出版情報: Berlin : Springer, c2000  xi, 544 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1816
所蔵情報: loading…
目次情報: 続きを見る
Education Day
Invited Talk: A Software Engineering Program of Lasting Value / David L. Parnas
Invited Talk: Weaving Formal Methods into the Undergratuate Computer Science Curriculum / Jeannette M. Wing
Technical Meetings
Invited Talk: Making Mathematical Methods More Practical for the Software Developers / Session 1:
Step by Step to Histories / Max Breitling ; Jan Philipps
Distance Functions for Defaults in Reactive Systems / Sofia Guerra
Generalizing the Modal and Temporal Logic of Linear Time / Bernhard Heinemann
Process Algebra versus Axiomatic Specification of a Real-Time Protocol / Antonio Cerone
Practical Application of Functional and Relational Methods for the Specification and Verification of Safety Critical Software / Mark Lawford ; Jeff McDougall ; Peter Froebel ; Greg Moum
Invited Talk: Algebraic State Machines / Manfred Broy ; Martin WirsingSession 2:
Meta Languages in Algebraic Compilers / Eric Van Wyk
Random Access to Abstract Data Types / Martin Erwig
A Monad for Basic Java Semantics / Bart Jacobs ; Erik Poll
A Global Semantics for Views / Christine Choppy ; Pascal Poizat ; Jean-Claude Royer
Analysis of Downward Closed Properties of Logic Programs / Patricia M. Hill ; Fausto Spoto
Invited Talk: ASM Formalware in the Software Engineering Cycle / Yuri GurevichsSession 3:
Process Calculi for Coordination: From Linda to JavaSpaces / Nadia Busi ; Roberto Gorrieri ; Gianluigi Zavattaro
The Algebra of Multi-tasking / Colin J. Fidge
A Causal Semantics for Timed Default Concurrent Constraint Programming / Simone Tini ; Andrea Maggiolo-Schettini
Casl-Chart: A Combination of Statecharts and of the Algebraic Specification Language Casl / Gianna Reggio ; Lorenzo Repetto
Message Authentication through Non Interference / Riccardo Focardi ; Fabio Martinelli
Invited Talk: Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UML / Egidio Astesiano ; Maura CerioliSession 4:
An ASM Semantics for UML Activity Diagrams / Egon Borger ; Alessandra Cavarra ; Elvinia Riccobene
Approximate Bisimilarity / Mingsheng Ying
Time and Probability in Process Algebra / Suzana Andova
A Modal Logic for Klaim / Rocco De Nicola ; Michele Loreti
Kleene under a Demonic Star / Jules Desharnais ; Bernhard Möller ; Fairouz Tchier
Invited Talk: Pointwise Relational Programming / Oege de Moor ; Jeremy GibbonsSession 5:
Towards a Toolkit for Actor System Specification / Carolyn L. Talcott
Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic / Christiano de O. Braga ; E. Hermann Haeusler ; José Meseguer ; Peter D. Mosses
The Extensibility of Maude's Module Algebra / Francisco Durán
A Reuse-Oriented Framework for Hierarchical Specifications / Sophie Coudert ; Pascale Le Gall
MIX(FL): A Kernel Language of Mixin Modules / Davide Ancona
Behavioural Subtyping Relations for Object-Oriented Formalisms / Clemens Fischer ; Heike Wehrheim
Invited Talk: Applying Category Theory to Derive Engineering Software from Encoded Knowledge / Michael Healy ; Keith WilliamsonSession 6:
A New Logic for Electronic Commerce Protocols / Kamel Adi ; Mourad Debbabi ; Mohamed Mejri
Extended Institutions for Testing / Marielle Doche ; Virginie Wiels
Testing from Structured Algebraic Specifications / Patrícia D. L. Machado
Author Index
Education Day
Invited Talk: A Software Engineering Program of Lasting Value / David L. Parnas
Invited Talk: Weaving Formal Methods into the Undergratuate Computer Science Curriculum / Jeannette M. Wing
6.

図書

図書
Frank Bomarius, Markku Oivo (eds.)
出版情報: Berlin : Springer, c2000  xi, 426 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1840
所蔵情報: loading…
7.

図書

図書
Kurt Bauknecht, Sanjay Kumar Madria, Günther Pernul (eds.)
出版情報: Berlin : Springer, c2000  xii, 488 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1875
所蔵情報: loading…
8.

図書

図書
Ramesh Hariharan, Madhavan Mukund, V. Vinay (eds.)
出版情報: Berlin ; New York : Springer, c2001  xi, 346 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2245
所蔵情報: loading…
9.

図書

図書
Ralf-Detlef Kutsche, Herbert Weber (eds.)
出版情報: Berlin : Springer, c2002  xiii, 339 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2306
所蔵情報: loading…
目次情報: 続きを見る
Formal Frameworks
An Approach to Composition Motivated by wp / Michel Charpentier
Compositional Verification of Secure Applet Interactions / Gilles Barthe ; Dilian Gurov ; Marieke Huisman
A Generic Component Framework for System Modeling / Hartmut Ehrig ; Fernando Orejas ; Benjamin Braatz ; Markus Klein ; Martti Piirainen
Model and Program Analysis
Implementing Condition/Event Nets in the Circal Process Algebra / Antonio Cerone
Integrated State Space Reduction for Model Checking Executable Object-Oriented Software System Designs / Fei Xie ; James C. Browne
Model Generation by Moderated Regular Extrapolation / Andreas Hagerer ; Hardi Hungar ; Oliver Niese ; Bernhard Steffen
Better Slicing of Programs with Jumps and Switches / Sumit Kumar ; Susan Horwitz
Architecture Descriptions
Architectural Types Revisited: Extensible And/Or Connections / Marco Bernardo ; Francesco Franzè
Mapping an ADL to a Component-Based Application Development Environment / VirgÆinia C.C. de Paula ; Thais V. Batista
From EDOC to CCM Components: A Precise Mapping Specification / Mariano Belaunde ; Mikael Peltier
Meta-Models
Engineering Modelling Languages: A Precise Meta-Modelling Approach / Tony Clark ; Andy Evans ; Stuart Kent
A Toolbox for Automating Visual Software Engineering / Juan de Lara ; Hans Vangheluwe ; Luciano Baresi ; Mauro Pezzè
Formal Approaches towards UML
Enriching OCL Using Observational Mu-Calculus / Julian Bradfield ; Juliana Küster Filipe ; Perdita Stevens
Formal Verification of UML Statecharts with Real-Time Extensions / Alexandre David ; M. Oliver Möller ; Wang Yi
Requirements Engineering
An Authoring Tool for Informal and Formal Requirements Specifications / Reiner Hähnle ; Kristofer Johannisson ; Aarne Ranta
Introducing Context-Based Constraints / Felix Bübl
Formal Requirements Engineering Using Observer Models / Andreas Nonnengart ; Georg Rock ; Werner Stephan
Automatic Generation of Use Cases from Workflows: A Petri Net Based Approach / Oscar López ; Miguel A. Laguna ; Francisco J. García
Meta-modeling Techniques Meet Web Application Design Tools / Franca Garzotto ; Luca Mainetti ; Paolo Paolini
Formal-Driven Conceptualization and Prototyping of Hypermedia Applications / Antonio Navarro ; Baltasar Fernandez-Manjon ; Alfredo Fernandez-Valmayor ; Jose Luis Sierra
Tool Demonstrations
The Coordination Development Environment / João Gouveia ; Georgios Koutsoukos ; Michel Wermelinger ; Luís Andrade ; José Luiz Fiadeiro
The Key System: Integrating Object-Oriented Design and Formal Methods / Wolfgang Ahrendt ; Thomas Baar ; Bernhard Beckert ; Martin Giese ; Elmar Habermalz ; Wolfram Menzel ; Wojciech Mostowski ; Peter H. Schmitt
ObjectCheck: A Model Checking Tool for Executable Object-Oriented Software System Designs / Vladimir Levin
Demonstration of an Operational Procedure for the Model-Based Testing of CTI Systems / Tiziana Margaria ; Oliver Niese,Bernhard Steffen ; Hans-Dieter Ide
Author Index
Formal Frameworks
An Approach to Composition Motivated by wp / Michel Charpentier
Compositional Verification of Secure Applet Interactions / Gilles Barthe ; Dilian Gurov ; Marieke Huisman
10.

図書

図書
Michael G. Hinchey ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  ix, 295 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2699 . Lecture notes in artificial intelligence
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼