close
1.

図書

図書
Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey (eds.)
出版情報: Berlin ; New York : Springer, c1998  xv, 415 p.: ill. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1493
所蔵情報: loading…
目次情報: 続きを見る
Industrial Issues
Industrial Requirements for the Efficient Development of Reliable Embedded Systems / K. Grimm
Concurrency
How to Combine Z with a Process Algebra / C. Fischer
The Specification and Refinement of an Environmental Model / W.J. (Bill) Stoddart
Formal Derivation of Finite State Machines for Class Testing / L. Murray ; D. Carrington ; I. MacColl ; J. McDonald ; P. Strooper
Tools
Using B to Specify, Verify and Design Hardware Circuits / I.H. Sorensen
Z on the Web Using Java / J.P. Bowen ; D. Chippington
Visualizing Z Notation in HTML Documents / P. Ciancarini ; C. Mascolo ; F. Vitali
Z and HOL
On the Semantic Relation of Z and HOL / T. Santen
HOL-Z in the UniForM-Workbench -
A Case Study in Tool Integration for Z / C. Luth ; E.W. Karlsen ; Kolyang ; S. Westmeier ; B. Wolff
Safety-Critical and Real-Time Systems
Designing a Requirements Specification Language for Reactive Systems / N.G. Leveson
Analyzing a Real-Time Program with Z / J. Jacky
Semantic Theory
Recursive Definitions in Z / R.D. Arthan
A Logic for the Schema Calculus / M.C. Henson ; S. Reeves
Theory and Standards
Combining Specification Techniques for Processes, Data and Time / E.-R. Olderog (Invited Speaker)
Innovations in the Notation of Standard Z / I. Toyn
Reasoning and Consistency Issues
Comparing Extended Z with a Heterogeneous Notation for Reasoning about
Time and Space / R.F. Paige
Inconsistency and Undefinedness in Z - A Practical Guide / S.H. Valentine
Refinement
Compositional Specification of Controllers for Batch Process Operations / K. Lano ; P. Kan ; A. Sanchez
Testing Refinements by Refining Tests / J. Derrick ; E. Boiten
More Powerful Z Data Refinement: Pushing the State of the Art in
Industrial Refinement / S. Stepney ; D. Cooper ; J.C.P. Woodcock
Object Orientation
Network Topology and a Case Study in TCOZ / B. Mahony ; J.S. Dong
Object-Oriented Specification of Hybrid Systems Using UML and ZimOO / V. Friesen ; A. Nordwig ; M. Weber
Translating the OMT Dynamic Model into Object-Z / S. Dupuy ; Y. Ledru ; M. Chabre-Peccoud
Appendices
Select Z Bibliography
Comp.specification.z and Z FORUM Frequently Asked Questions
Author Index
Industrial Issues
Industrial Requirements for the Efficient Development of Reliable Embedded Systems / K. Grimm
Concurrency
2.

図書

図書
Jonathan P. Bowen, Michael G. Hinchey, David Till (eds.)
出版情報: Berlin ; New York : Springer, c1997  x, 433 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1212
所蔵情報: loading…
3.

図書

図書
Jonathan P. Bowen, Michael G. Hinchey (eds.)
出版情報: Berlin ; New York : Springer, c1995  xi, 569 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 967
所蔵情報: loading…
4.

図書

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

図書

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

図書

図書
James L. Rash ... [et al.] (eds.)
出版情報: Berlin : Springer, c2001  ix, 368 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1871 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Verifying Agent's Mental States
Model Checking-Based Analysis of Multiagent Systems / M. Benerecetti ; F. Giunchiglia
Towards Formal Specification and Verification in Cyberspace / S. Ambroszkiewicz ; W. Penczek ; T. Nowak
Verification within the KARO Agent Theory / U. Hustadt ; C. Dixon ; R.A. Schmidt ; M. Fisher ; J.-J.C. Meyer ; W. van der Hoek
Synthesizing Agents Initially
On Formal Modeling of Agent Computations / T. Araragi ; P. Attie ; I. Keidar ; K. Kogure ; V. Luchangco ; N. Lynch ; K. Mano
Modeling and Programming Devices and Web Agents / S.A. McIlraith
A Programming Logic for Part of the Agent Language 3APL / K.V. Hindriks ; F.S. de Boer
Frameworks and Formalization / Y. Kawabe
From Livingstone to SMV (Formal Verification for Autonomous Spacecrafts) / C. Pecheur ; R. Simmons
Verification of Plan Models Using UPPAAL / L. Khatib ; N. Muscettola ; K. Havelund
Formalization of a Spatialized Multiagent Model Using Coloured í Petri Nets for the Study of an Hunting Management System / I. Bakam ; F. Kordon ; C. Le Page ; F. Bousquet
Formal Agent Development: Framework to System / M. d'Inverno ; M. Luck
Modeling and Execution
Automatic Synthesis of Agent Designs in UML / J. Schumann ; J. Whittle
Direct Execution of Agent Specifications
Using the ?-Calculus to Model Multiagent Systems / A.C. Esterline ; T. Rorie
Specifying and Checking Fault-Tolerant Agent-Based Protocols Using Maude / J. Van Baalen ; J.L. Caldwell ; S. Mishra
Inter-agent Communication
Agents Talking Faster / T. Menzies ; B. Cukic ; H. Singh
Refining Interactions in a Distributed System / N. Soundarajan
Design and Mathematical Analysis of Agent-Based Systems / K. Lerman
Modeling Task and Teams through Game Theoretical Agents / M. Rudnianski ; H. Bestougeff
Web Agents Cooperating Deductively / R. Waldinger
Adaptive Agents
Formal Specification of Agent Behaviour through Environment Scenarios / H. Zhu
APT Agents: Agents That Are Adaptive, Predictable, and Timely / D.F. Gordon
Posters
Ontology Negotiation in a Community of Agents / S.C. Bailin
Analysis of Agent-Based Systems Using Decision Procedures / R. Bharadwaj
A Formal Approach to Belief-Goal-Role Agents / W. Chainbi
Model Checking of Autonomy Models for an In-Situ Propellant Production System / P. Engrand
Adaptive Supervisory Control of Multi-agent Systems / K. Kiriakidis
Machine-Learning for Logic-Based Multi-agent Systems / E. Alonso ; D. Kudenko
Using a Formal Framework for Agent System Design / V. Carchiolo ; M. Malgeri ; G. Mangioni
Modeling Agent-Based Systems / S. Mandutianu
Modeling Agent Systems by Bayesian Belief Networks / Y. Peng
The Anthropomorphizing of Intelligent Agents / T. Riley
Controlling Multiple Satellite Constellations Using the TeamAgent System / D.M. Surka ; M.E. Campbell ; T.P. Schetter
Operations Assistants for Johnson Space Center's Mission Control Center / S.E. Torney
A Real Time Object-Oriented Rational Agent Development System / L.P. Wesley
Panel Sessions
Empirical versus Formal Methods
Future Directions
Author Index
Verifying Agent's Mental States
Model Checking-Based Analysis of Multiagent Systems / M. Benerecetti ; F. Giunchiglia
Towards Formal Specification and Verification in Cyberspace / S. Ambroszkiewicz ; W. Penczek ; T. Nowak
7.

図書

図書
Michael G. Hinchey ... [et al.] (eds.)
出版情報: Berlin : Springer, c2006  ix, 389 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3825 . Lecture Notes in artificial intelligence
所蔵情報: loading…
8.

図書

図書
Michael G. Hinchey ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2005  viii, 289 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3228 . Lecture notes in artificial intelligence
所蔵情報: loading…
9.

図書

図書
sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on Complexity in Computing ; in cooperation with Software Engineers Association of Japan ... [et al.] ; [edited by Michael G. Hinchey and Shaoying Liu]
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c1997  xi, 327 p. ; 28 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼