close
1.

図書
図書
1. Proceedings, sixth IEEE International Conference on Engineering of Complex Computer Systems : ICECCS 2000, September 11-14, 2000, Tokyo, Japan (: case)
sponsored by IEEE Computer Society, IEEE Technical Committee on Complexity in Computing ; in cooperation with Information Processing Society of Japan ... [et. al.] ; supported by IEICE Communication Society Technical Committee on Network Revolution and Software
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c2000  xiii, 240 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Introduction
Organizing Committee
Program Committee
Reviewers
Tutorial
Timed Multi-Threaded Formal Object Modeling Techniques / Jin Song Dong
Application of Formal Methods to Railway Systems / Jim Woodcock
Global Information Processing Technology
Opening Address / Kenji Ohmori
Invited Speech
Complexity: Concept, Causes and Control / John A. McDermid
Reactive Systems
Managing Complexity in Real-Time Reactive Systems / V. Alagar ; O. Ormandjieva ; M. Zheng
Verification Criteria for a Compositional Model for Reactive Systems / P. Bellini ; M. Bruno ; P. Nesi
Dependability Engineering of Complex Computing Systems / M. Kaaniche ; J.-C. Laprie ; J.-P. Blanquart
Parallel Sessions
System Modeling / Jeff A. OffuttSession 1：
Domain Modeling of Software Process Models / H. Gomaa ; L. Kerschberg ; G. Farrukh
Integration of the Domain Modeling Method for Families of Systems with the SOFL Formal Specification Language / S. Liu ; M. Shin
Experience Using Formal Methods for Specifying a Multi-Agent System / C. Rouff ; J. Rash ; M. Hinchey
Special Session: Network Software I / Yasushi WakaharaSession 2：
Engineering Software for the Net / Tadashi Ohta ; Mauro Pezze
Systems Development / Paolo Nesi
Distributed Development of Complex Software Systems with Object Make / Y. Sugiyama
An Intelligent-Agent Based Decision Support System for a Complex Command and Control Application / P. Petrov ; A. Stoyen
Using the Right Tool for the Job / W. Howerton
Special Session: Network Software II
Interworking among Intelligent Networks and Different Networks: Service Control Interfaces and Their Applications / R. Takeuchi ; A. Miura ; M. Yoshimi
Mobile IP Route Optimization Method for a Carrier-Scale IP Network / T. Ihara ; H. Ohnishi ; Y. Takagi
Multiple Backup Virtual Paths Reservation Problem and Its Solution / S. Inoue ; Y. Kakuda
PNNI Data Management for Dynamic Routing in ATM Network / H.-S. Shin
Closing Address / Yoshiaki Kakuda
Overcoming Software Complexity by Constructing Abstraction Hierarchies--The Principles and Applications / Shaoying Liu ; Tosiyasu L. Kunii ; Masayuki Hisada
Embedded, Concurrent, and Distributed Systems / Yoshinori Yamaguchi
Definitions of Equivalence for Transformational Synthesis of Embedded Systems / L. Cortes ; P. Eles ; Z. Peng
Scalable Data Mining with Log Based Consistency DSM for High Performance Distributed Computing / H. Hirayama ; H. Honda ; T. Yuba
Concurrent Programming Made Easy / R. Ramirez ; A. Santosa ; R. Yap
Special Session: Formal Engineering Method--SOFL
SOFL Language and Method for Software Development
Reusable Semantics for SOFL / J. Dong
Generating Test Data from SOFL Specifications / J. Offutt
Software Verification, Management, and Business Application Using SOFL / H. Tomioka ; F. Nagoya
Dynamically Detecting Relevant Program Invariants / Alexander D. Stoyen ; David Notkin
Testing and Verification
A Test Class Framework for Generating Test Cases from Z Specifications / M. Huaikou ; L. Ling
An Analysis Tool for Coupling-Based Integration Testing / A. Abdurazik ; R. Alexander
Evaluation of Three Specification-Based Testing Criteria / P. Ammann ; W. Ding
Automated Result Verification with AWK / B. Bakar ; T. Janowski
Principles and Mechnisms for Evolving Software Systems: A Report from a Project on Software Evolution Principles / Tetsuo Tamai ; Takuya Katayama
Communication and Control Systems / Kenji Toda
Reducation of the Number of Terminal Assisgnments for Detecting Feature Interactions in Telecommunication Services / T. Yoneda ; T. Ohta
A Flexible Scheduling for Automobile Control Using Imprecise Computation and Its Fundamental Evaluation / F. Nakanishi ; S. Hiraike ; K. Toda
New Measure and Experimental Evaluation for Multiagent-Based Reservation of Backup Virtual Paths in ATM Networks / M. Terabe
Cost Models for Electronic Architecture Trade Studies / J. Axelsson
Panel--Software Complexity of the Net
Author Index
Introduction
Organizing Committee
Program Committee
2.

図書
図書
2. Proceedings, fifth IEEE International Conference on Engineering of Complex Computer Systems, October 18-21, 1999, Las Vegas, Nevada USA
sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on Complexity in Computing
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1999  xi, 185 p. ; 28 cm
所蔵情報: loading…
3.

図書
図書
3. Proceedings, second IEEE International Conference on Engineering of Complex Computer Systems : held jointly with 6th CSESAW, 4th IEEE RTAW, and SES'96, Montréal, Québec, Canada, October 21-25, 1996
sponsored by IEEE Computer Society Technical Committee on Complexity in Computing in cooperation with IFAC COMPUT
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1996  xx, 528 p. ; 28 cm
所蔵情報: loading…
4.

図書
図書
4. Proceedings, third IEEE International Conference on Engineering of Complex Computer Systems, Villa Olmo, Como, Italy, September 8-12, 1997 (: softbound ; : casebound)
sponsored by IEEE Computer Society ... [et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1997  xi, 253 p. ; 28 cm
所蔵情報: loading…
5.

図書
図書
5. Proceedings, eighth IEEE International Conference on Engineering of Complex Computer Systems, 2-4 December 2002, Greenbelt, Maryland
sponsored by IEEE Computer Society Technical Committee on Complexity in Computing
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2002  x, 247 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Chair's Message
Organizing Committee
Keynote Address 1
Complexity is the Enemy of Dependability - Can Diversity Provide A Defence? / Bev Littlewood
Distributed Systems / Session 1：
Validating Run-Time Interactions in Distributed Java Applications / S. Ghosh ; N. Bawa ; S. Goel ; Y. Reddy
Reasoning About Asynchronous Behaviour in Distributed Systems / P. Henderson
A Framework for Performability Modeling of Messaging Services in Distributed Systems / S. Ramani ; K. Goseva-Popstojanova ; K. Trivedi
Efficient Reachability Testing of Asynchronous Message-Passing Programs / Y. Lei ; K.-C. Tai
Keynote Address 2
Integrating CSP and DC / Jifeng He
Formal Approaches / Session 2：
Capturing Complete and Accurate Requirements by Refinement / S. Liu
Mechanization of a Proof of String-Preprocessing in Boyer-Moore's Pattern Matching Algorithm / M. Besta ; F. Stomp
Execution of Tilco Temporal Logic Specifications / P. Bellini ; A. Giotti ; P. Nesi
Design and Modeling / Session 3：
Mnemosyne: Designing and Implementing Network Short-Term Memory / G. Vigna ; A. Mitchell
Composability for Software Components: An Approach Based on the Whole-Part Theory / F. Barbier
Using Role-Based Modeling Language (RBML) to Characterize Model Families / D.-K. Kim ; R. France ; E. Song
Using Aspects to Design a Secure System / G. Georg ; I. Ray
Keynote Address 3
A Light-Weight Process for Capturing and Evolving Defect Reduction Experience / Victor R. Basili ; Mikael Lindvall ; Forrest Shull
Testing / Session 4：
Interclass Testing of Object Oriented Software / V. Martena ; A. Orso ; M. Pezze
A Perturbation-Based Testing Strategy / B. Murrill ; L. Morell ; E. Olimpiew
A Framework for Specification-Based Class Testing / L. Liu ; H. Miao ; X. Zhan
Mars Polar Lander Fault Identification Using Model-Based Testing / M. Blackburn ; R. Busser ; A. Nauman ; R. Knickerbocker ; R. Kasuda
Analysis / Session 5：
An Empirical Comparison of Modularity of Procedural and Object-Oriented Software / L. Ferrett ; J. Offutt
Fault Detection Effectiveness of Spathic Test Data / J. Hayes ; P. Zhang
Syntactic Fault Patterns in OO Programs / R. Alexander ; J. Bieman
Model Checking Uml Specifications of Real Time Software / V. Del Bianco ; L. Lavazza ; M. Mauri
Software Evolution and Product Line / Session 6：
An Evolutionary Lifecycle Model with Agile Practices for Software Development at ABB / A. Dagnino
Managing Software Evolution with a Formalized Abstraction Hierarchy / T. Aaltonen ; T. Mikkonen
Optonet - a Case Study in Using Rigorous Analysis Techniques to Justify a Revised Product Assurance Strategy / L. Murray ; A. Griffiths ; P. Strooper
Multiple-View Meta-Modeling of Software Product Lines / H. Gomaa ; M. Shin
Author Index
Chair's Message
Organizing Committee
Keynote Address 1
6.

図書
図書
6. Proceedings, seventh IEEE International Conference on Engineering of Complex Computer Systems : Skövde, Sweden, June 11-13, 2001
sponsored by IEEE Computer Society Technical Committee on Complexity in Computing ... [et al.] ; edited by Sten F. Andler, Michael G. Hinchey, Jeff Offutt
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2001  xi, 281 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the General Chair
Organizing and Program Committees
Keynote Speech / Session 1：
Intelligent Agent-Based Decision-Support Systems for Complex C[superscript 2] Applications / A. Stoyen
Real-Time Issues / Session 2：
Communicating TILCO: A Model for Real-Time System Specification / P. Bellini ; P. Nesi
TILCO-X, an Extension of TILCO Temporal Logic
On-Line Scheduling of Real-Time Distributed Computers with Complex Communication Constraints / P. Richard ; F. Cottet ; M. Richard
A Method for Verifying Real-Time Properties of Ada Programs / T. Gerdsmeier ; R. Cardell-Oliver
Panel: Issues with Web Site Software / Session 3：
Formal Issues / Session 4：
Verification of Hybrid Systems: Formalization and Proof Rules in PVS / E. Abraham-Mumm ; U. Hannemann ; M. Steffen
Action Refinement for True Concurrent Real Time / M. Majster-Cederbaum ; J. Wu
Formal Guides for Experimentally Verifying Complex Software-Implemented Fault Tolerance Mechanisms / A. Arazo ; Y. Crouzet
Compositional Construction of Protocol Behaviours with Arbitrary Channel Capacities / A. Puhakka
Future Mobile Phones--Complex Design Challenges from an Embedded Systems Perspective / F. DahlgrenSession 5：
Industrial Experiences / Session 6：
Quality Attribute Conflicts--Experiences from a Large Telecommunication Application / D. Haggander ; L. Lundberg ; J. Matton
Can We Learn Anything from Hardware Preventive Maintenance? / M. Kajko-Mattsson
Motivating the Corrective Maintenance Maturity Model (CM[superscript 3])
Panel: Dependability in Industrial Systems/Risk Management of Complex Systems / Session 7：
Design Issues / Session 8：
An Object-Oriented Analysis and Design Approach for Safe Object Sharing / K. Izuru
Design Method for Conceptual Design of By-Wire Control: Two Case Studies / K. Ahlstrom ; P. Johannessen ; J. Torin
Designing Distributed Component-Based Systems with DCL / F. Bubl ; A. Leicher
A Framework for Analyzing and Organizing Complex Systems / S. Graupner ; V. Kotov ; H. Trinks
The Problem of Platform Complexity / H. LawsonSession 9：
Architectural Issues / Session 10：
Towards a Framework for Architecting Mechatronics Software Systems / D. Chen ; M. Torngren
Aspect-Oriented Specification Architectures for Distributed Real-Time Systems / M. Katara ; T. Mikkonen
Independent Proprietorship and Competition in Distributed Web Search Architectures / R. Khoussainov ; T. O'Meara ; A. Patel
Intelligent Agent-Based Software Architecture for Combat Performance under Overwhelming Information Inflow and Uncertainty / J. Hicks ; Q. Zhu
Testing Issues / Session 11：
Using a Model Checker to Test Safety Properties / P. Ammann ; W. Ding ; D. Xu
Techniques for Testing Component-Based Software / Y. Wu ; D. Pan ; M. Chen
Module Testing Embedded Software--An Industrial Pilot Project / J. McDonald ; L. Murray ; P. Lindsay ; P. Strooper
Analysis and Modeling / Session 12：
Analysis of Self-Stabilization for Infinite-State Systems / H. Yen
Parallel Machine Translation: Principles and Practice / F. Ren ; H. Shi
Managing Feature Interactions in Telecommunications Systems by Temporal Colored Petri Nets / Y. Lu ; G. Wei ; T. Cheung
Modelling Free Flight with Collision Avoidance / M. Massink ; N. De Francesco
Authors' Index
Message from the General Chair
Organizing and Program Committees
Keynote Speech / Session 1：
7.

図書
図書
7. Proceedings, Ninth IEEE International Conference on Engineering Complex Computer Systems : navigating complexity in the e-engineering age, ICECCS 2004, Florence, Italy 14-16 April 2004
edited by Pierfancesco Bellini, Shawn A. Bohner, Bernhard Steffen, sponsored by IEEE Computer Society Technical Committee on Complexity in Computing(TCCX)
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2004  xi, 259 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the Chairs
Organizing and Program Committees
Keynote Address
Architecture Driven Modeling in Software Development / M. Broy
Panel
Major Threat: From Formal Methods without Tools to Tools without Formal Methods
Session: Security
Modeling Complex Systems by Separating Application and Security Concerns / H. Gomaa ; M. Shin
Dealing with Complex Networks of Process Interactions: A Security Measure / P. Periorellis ; O. Idowu ; S. Lynden ; M. Young ; P. Andras
Session: Networks
TT[superscript ET]: Event-Triggered Channels on a Time-Triggered Base / V. Claesson ; N. Suri
Enterprise Information Systems Configuration: Emphasizing the Symbiotic Relationship between Applications and the Underlying Network / M. Nikolaidou ; D. Anagnostopoulos
Session: Validation
Integrated Fault Diagnostics on the Grid / X. Ren ; M. Ong ; G. Allan ; V. Kadirkamanathan ; H. Thompson ; P. Fleming
Robust On-Line Approximation Control of Uncertain Nonlinear Systems Subject to Constraints / M. Polycarpou ; J. Farrell ; M. Sharma
Formal Test-Case Generation for UML Statecharts / S. Gnesi ; D. Latella ; M. Massink
Session: Formal Specification
Requirements Validation by Lifting Retrenchments in B / M. Poppleton ; R. Banach
Relating II-calculus to Object-Z / K. Taguchi ; J. Dong ; G. Ciobanu
A Conceptual Framework for State-Based and Event-Based Formal Behavioural Specification Languages / T. Bolognesi
Session: Tools
Towards a Tool for Derivation of Implementation Constraints / P. Wecksten ; J. Vasell ; M. Jonsson
Supporting Rigorous Evolution of UML Models / S. Judson ; R. France ; D. Carver
Independence Transformations and Tools for Components / D. Woit ; M. Fan
Session: Managing Complexity
Using Contexts to Manage System Complexity / P. Robertson ; R. Laddaga
Session: Case Studies
Visualising Object-Oriented Source Code Complexity Using XML / R. Marks ; F. Wilkie
Domain Visualization for Dealing with Complex Information Systems / P. Donzelli ; P. Bresciani
A Web-Based Infrastructure for the Management of Semantic Meta-Data / V. Del Bianco ; G. Ripa ; E. Tracanella ; L. Lavazza
A CORBA-Based Multi-agent System Integration Framework / T. Cheng ; Z. Guan ; B. Wu ; S. Yang
Muse over University Organisational Ecology in Action and Service-Oriented Architectures / S. Ramakrishnan ; A. Cambrell
Design of a Microprocessor-Based Control System of a Compression Molding Process / G. Adam
Monitoring and Optimizing Industrial Production Processes / L. Braccesi ; M. Monsignori ; P. Nesi
System for the Production Control and Automatic Packaging of Plastic Air Sleeve Guides / F. Barrientos Garcia ; I. Garcia Incertis ; F. Miguel Trespaderne ; E. de la Fuente Lopez ; J. Peran Gonzalez
Session: Buring Problems
Verification of NASA Emergent Systems / C. Rouff ; A. Vanderbilt ; W. Truszkowski ; J. Rash ; M. Hinchey
Software Information Leaks: A Complexity Perspective / B. George ; S. Bohner ; R. Prieto-Diaz
An Investigation of the Approach to Specification-Based Program Review through Case Studies / F. Nagoya ; S. Liu ; Y. Chen
Author Index
Message from the Chairs
Organizing and Program Committees
Keynote Address
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼