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

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

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

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

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

図書
図書
9. System structure and control, 1997 : a proceedings volume from the 4th IFAC Conference, Bucharest, Romania, 23-25 October 1997. 1st ed
edited by V. Ionescu and D. Popescu
出版情報: Oxford, UK : Published for the International Federation of Automatic Control by Pergamon Press, 1998  ix, 506 p. ; 30 cm
所蔵情報: loading…
目次情報: 続きを見る
Chapter headings: Plenary Papers
Linear Systems - Structures and Control (Invited Papers)
Nonlinear and Variable Structure Systems
System Identification
Robust Control
Discrete Event Systems and Robotics / I：
Predictive Control
Applications I. Algebraic Control Theory / II：
LMIs and Applications (Invited Papers)
Fuzzy Control
Computer Aided Design
Time Delay Systems
PID Control
Biochemical Process Control
Control of Electric Machines (Invited Papers)
Stability of Infinite Dimensional Systems
Applications II
Chapter headings: Plenary Papers
Linear Systems - Structures and Control (Invited Papers)
Nonlinear and Variable Structure Systems
10.

図書
図書
10. 1997 IEEE International Conference on Systems, Man, and Cybernetics : computational cybernetics and simulation, Orlando, Florida, USA, October 12-15, 1997 (v. 1 - : case)
IEEE Systems, Man and Cybernetics Society
出版情報: Piscataway : IEEE Service Center, c1997  5 v. ; 28 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼