close
1.

図書
図書
1. Fifth International Conference on Systems Engineering, September 9-11, 1987 : Holiday Inn Conference Center/I-675, Fairborn, Ohio
sponsored by Department of Electrical Systems Engineering, Wright State University ; cosponsored by IEEE Aerospace and Electronic Systems Society [and] Dayton Section, IEEE
出版情報: New York, NY : Institute of Electrical and Electronics Engineers , Piscataway, NJ : Additional copies from IEEE Service Center, c1987  xiii, 593 p. ; 28 cm
所蔵情報: loading…
2.

図書
図書
2. 2002 IEEE International Conference on Systems, Man, and Cybernetics : bridging the digital divide : cyber-development, human progress, peace and prosperity : Yasmine Hammamet, Tunisia, October 6-9, 2002 : conference proceedings (: set - : CD-ROM)
edited by Abdelkader El Kamel, Khaled Mellouli, Pierre Borne
出版情報: Piscataway, N.J. : IEEE, c2002  7 v. ; 29 cm
所蔵情報: loading…
3.

図書
図書
3. Proceedings, 4th International Conference on Requirements Engineering, June 19-23, 2000, Schaumburg, Illinois
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.

図書
図書
4. Cybernetics and systems '86 : proceedings of the Eighth European Meeting on Cybernetics and Systems Research
organized by the Austrian Society for Cybernetic Studies, held at the University of Vienna, Austria, 1-4 April 1986 ; edited by Robert Trappl
出版情報: Dordrecht ; Tokyo : D. Reidel Pub. Co , Hingham, MA, U.S.A. : Sold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers, c1986  xviii, 926 p. ; 25 cm
所蔵情報: loading…
5.

図書
図書
5. ESDA 1996 : proceedings of the 1996 Engineering Systems Design and Analysis Conference : presented at the Third Biennial Joint Conference on Engineering Systems Design and Analysis, July 1-4, 1996, Montpellier, France (v.1 - v.9)
sponsored by the Petroleum Division, ASME ; edited by A. B. Sabir ... [et al.]
出版情報: New York : American Society of Mechanical Engineers, c1996  9 v. ; 28 cm
シリーズ名: PD ; vol. 73-81
所蔵情報: loading…
6.

図書
図書
6. Proceedings, International Conference and Workshop on Engineering of Computer-Based Systems : March 24-28, 1997, Monterey, California
sponsored by IEEE Computer Society Technical Committee on Engineering of Computer-Based Systems, the University of Arizona ; edited by Jerzy Rozenblit, Tony Ewing, Stephan Schulz
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1997  xv, 508 p. ; 28 cm
所蔵情報: loading…
7.

図書
図書
7. System structure and control 1998 (SSC'98) : a proceedings volume from the 5th IFAC Conference, Nantes, France, 8-10 July 1998. 1st ed (v. 1 ; v. 2)
edited by J.F. LaFay
出版情報: Oxford, Eng. ; New York : Published for the International Federation of Automatic Control by Pergamon, 1998  2 v. (xii, 794 p.) ; 30 cm
所蔵情報: loading…
目次情報: 続きを見る
Chapter headings and selected papers
Plenary / Volume I：
Time-Delay Systems / Paper I：
Block decoupling with coefficient assignment and stability for linear systems over Noetherian rings / G. Conte et al
Stabilization of Nonlinear Systems / Paper II：
H-Infinity and Robust Synthesis
A more practical formulation for robustness analysis / G. Scorletti
Structure and Control of Linear Systems
On Structural Features of Linear Systems
Interactor extraction for strictly proper transfer matrices / K. Sugimoto
Robustness. Non Integer Differentiation in Modeling Identification and Control I. Diffusive realisations of fractional integrodifferential operators: structural analysis under approximation / D. Heleschewitz ; D. Matignon
Linear Systems I
Nonlinear Systems I
Non Integer Differentiation in Modeling Identification and Control II / Paper III：
Linear Systems II
Nonlinear Systems II
Robust Control and Numerical Methods / Paper IV：
Time-Varying Systems / Volume 2：
Sufficient conditions for robust stability of discrete-time systems subject to time-varying parameters / F. Amato et al
Control of Discrete Event Dynamic Systems
60th Anniversary of the PID Control
Periodic Systems
Periodic balanced realizations / E.I. Verriest ; U. Helmke
Robots / Manipulators and Vehicles
Vibration control of flexible robots - theoretical and experimental results / W. Bernzen
Applications I
Time-Delay Systems I
Max-Plus Linear Systems I
Applications II / Paper V：
Time-Delay Systems II
Max-Plus Algebra / Theory and Applications
Structure Based Algorithms for the Analysis and Synthesis of Linear Control Systems / Paper VI：
Structure and Control of Nonlinear Systems
Control of Chemical and Biological Reactors
From open-loop trajectories to stabilizing state feedback - application to a CSTR / N. Marchand ; M. Alamir
Author index
Chapter headings and selected papers
Plenary / Volume I：
Time-Delay Systems / Paper I：
8.

図書
図書
8. IEEE SMC'99 conference proceedings : 1999 IEEE International Conference on Systems, Man, and Cybernetics : October 12-15, 1999, Tokyo, Japan : conference theme : Human communication and cybernetics (v. 1 - : set : casebound)
sponsored by IEEE Systems, Man, and Cybernetics Society(SMC) ... [et al.]
出版情報: Piscataway, N.J. : IEEE, c1999  6 v. ; 30 cm
所蔵情報: loading…
9.

図書
図書
9. Advanced information systems engineering : 12th International Conference, CAiSE 2000, Stockholm, Sweden, June 5-9, 2000 : proceedings
Benkt Wangler, Lars Bergman (eds.)
出版情報: Berlin : Springer, c2000  xii, 524 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1789
所蔵情報: loading…
目次情報: 続きを見る
Keynote Speech
BIO/COM*: Mixing Water with Fire / Dennis Tsichritzis
Panel
Web-Based Information Systems and Services / Hermann Kaindl ; John Mylopoulos
Adaptive and Dynamic Service Composition in eFlow / Fabio Casati ; Ski Ilnicki ; LiJie Jin ; Vasudev Krishnamoorthy ; Ming-Chien Shan
Towards Extensible Information Brokers Based on XML / Jianguo Lu ; Jamie Ho
Advertising Database Capabilities for Information Sharing / Suzanne M. Embury ; Jianhua Shao ; W. Alex Gray ; Nigel Fishlock
A Personal Assistant for Web Database Caching / Beat Signer ; Antonia Erni ; Moira C. Norrie
Extending a Conceptual Modelling Approach to Web Application Design / Jaime Gómez ; Cristina Cachero ; Oscar Pastor
Efficient Distributed Workflow Management Based on Variable Server Assignments / Thomas Bauer ; Peter Dadam
Workflow Models and Systems
A Logical Framework for Exception Handling in ADOME Workflow Management System / Dickson Chiu ; Qing Li ; Kamalakar Karlapalem
Controlled Flexibility in Workflow Management / Justus Klingemann
A Formal Model for Business Process Modeling and Design / Manolis Koubarakis ; Dimitris Plexousakis
Patterns and Components
Conceptual Patterns for Reuse in Information Systems Analysis / Petia Wohed
Evaluating a Pattern Approach as an Aid for the Development of Organisational Knowledge: An Empirical Study / Colette Rolland ; Janis Stirna ; Nikos Prekas ; Peri Loucopoulos ; Anne Persson ; Georges Grosz
Specifying Processes with Dynamic Life Cycles / Rick van Rein
Enterprise Application Integration
Design Principles for Application Integration / Paul Johannesson ; Erik Perjons
CHAOS: An Active Security Mediation System / David Liu ; Kincho Law ; Gio Wiederhold
Modeling and Composing Service-Based and Reference Process-Based Multi-enterprise Processes / Hans Schuster ; Dimitrios Georgakopoulos ; Andrzej Cichocki ; Donald Baker
The Information Systems Development Process
Gossip: An Awareness Engine for Increasing Product Awareness in Distributed Development Projects / BabakA. Farshchian
How Culture Might Impact on the Implementation of Enterprise Resource Planning Packages / Marina Krumbholz ; Neil Arthur McDougall Maiden
Capture and Dissemination of Experience about the Construction of Engineering Processes / Christian Rupprecht ; Martin Fünffinger ; Holger Knublauch ; Thomas Rose
Reuse in Information Systems Engineering
Practical Reuse Measurement in ERP Requirements Engineering / Maya Daneva
Building Extensible Workflow Systems Using an Event-Based Infrastructure / Dimitrios Tombros ; Andreas Geppert
Defining Components in a MetaCASE Environment / Zheying Zhang
Information Systems Reengineering
Tracing All Around / Gerald Ebner
A Framework for the Evolution of Temporal Conceptual Schemas of Information Systems / Juan-Ramón López ; Antoni Olivé
Distance Measures for Information System Reengineering / Geert Poels ; Stijn Viaene ; Guido Dedene
Modeling Languages
StateLator - Behavioral Code Generation as an Instance of a Model Transformation / Thomas Behrens ; Simon Richards
An Overview of RoZ: A Tool for Integrating UML and Z Specifications / Sophie Dupuy ; Yves Ledru ; Monique Chabre-Peccoud
On Structured Workflow Modelling / Bartek Kiepuszewski ; Arthur Harry Maria ter Hofstede ; Christoph J. Bussler
Databases and Data Warehousing
A Model for Data Warehouse Operational Processes / Panos Vassiliadis ; Christoph Quix ; Yannis Vassiliou ; Matthias Jarke
Temporally Faithful Execution of Business Transactions / Werner Obermair ; Michael Schrefl
Modelling and Optimisation Issues for Multidimensional Databases / Spiros Skiadopoulos
Investigations into Industrial Processes
Managing the Software Process in the Middle of Rapid Growth: A Metrics Based Experiment Report from Nokia / Tapani Kilpi
The Impacts of Electronic Commerce in the Automobile Industry: An Empirical Study in Western Australia / Peter Marshall ; Roger Sor ; Judy McKay
Author Index
Keynote Speech
BIO/COM*: Mixing Water with Fire / Dennis Tsichritzis
Panel
10.

図書
図書
10. Engineering systems : presented at the 1996 International Mechanical Engineering Congress and Exposition, November 17-22, 1996, Atlanta, Georgia
sponsored by the Dynamic Systems and Control Division, ASME ; edited by Rahmat A. Shoureshi, Milton E. Franke
出版情報: New York, N.Y. : American Society of Mechanical Engineers, c1996  v, 99 p. ; 28 cm
シリーズ名: DSC ; vol. 60
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼