close
1.

電子ブック

EB
Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Software Engineering., Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 2000
所蔵情報: loading…
目次情報: 続きを見る
Message from the IWSSD Chairs
10 IWSSD Organizing Committee
Case Study
Reactive and Real-Time Systems / Track I:
Hybrid Model Visualization in Requirements and Design: A Preliminary Investigation / J. Magee ; J. Kramer ; B. Nuseibeh ; D. Bush ; J. Sonander
Problems and Deficiencies of UML as a Requirements Specification Language / M. Glinz
Model Checking Implicit-Invocation Systems / D. Garlan ; S. Khersonsky
Specification and Analysis of Timed and Functional TRMCS Behaviours / M. Cioffi ; F. Corradini
Object-Oriented Modeling and Automated Analysis of a Telemedicine Application / L. A. Campbell ; B. H. C. Cheng
Duration Properties over Real Time System Designs / V. Braberman ; F. Pieniazek
TRMCS in TCOZ / J. Liu ; J. S. Dong ; J. Sun
Quantitative and Non-Functional Qualities / Track II:
The Declarative Problem Frame: Designing Systems that Create and Use Norms / R. J. Wieringa
Superposing Connectors / M. Wermelinger ; A. Lopes ; J. L. Fiadeiro
Issues in Analyzing the Behavior of Event Dispatching Systems / G. Bricconi ; E. Di Nitto ; E. Tracanella
Design and Development Assessment / S. L. Cornford ; M. S. Feather ; J. C. Kelly ; T. W. Larson ; B. Sigal ; J. D. Kiper
Formalising ERP Selection Criteria / X. B. Illa ; X. Franch ; J. A. Pastor
Specification, Safety and Reliability Analysis Using Stochastic Petri Net Models / F. T. Sheldon ; S. Grenier ; M. Benzinger
Software Architecture Analysis Based on Statechart Semantics / M. S. Dias ; M. E. R. Vieira
[In]completeness, [In]consistency and [Sufficient] Correctness
Using XML to Build Consistency Rules for Distributed Specifications / A. Zisman ; W. Emmerich ; A. Finkelstein
Dependency Relations between Models in the Unified Process / C. Pons ; R. Giandini ; G. Baum
An Approach to Preserving Sufficient Correctness in Open Resource Coalitions / O. Raz ; M. Shaw
Formal Tools for Managing Inconsistency and Change in RE / A. K. Ghose
The Complexity of TRMCS-like Spiral Specification / T. Menzies
The Dangerous "All" in Specifications / D. M. Berry ; E. Kamsties
Design Guidance through the Controlled Application of Constraints / A. G. Cass ; L. Osterweil
Author Index
Message from the IWSSD Chairs
10 IWSSD Organizing Committee
Case Study
2.

電子ブック

EB
Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Software Engineering., Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 2007
所蔵情報: loading…
3.

電子ブック

EB
Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Software Engineering., Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 2007
所蔵情報: loading…
4.

電子ブック

EB
Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Software Engineering., Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 2007
所蔵情報: loading…
5.

電子ブック

EB
Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Software Engineering., Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 2007
所蔵情報: loading…
6.

電子ブック

EB
Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Software Engineering., Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 2007
所蔵情報: loading…
7.

電子ブック

EB
Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Software Engineering., Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 2007
所蔵情報: loading…
8.

電子ブック

EB
Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Software Engineering., Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 2007
所蔵情報: loading…
9.

電子ブック

EB
Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Software Engineering., Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 2007
所蔵情報: loading…
10.

電子ブック

EB
Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Software Engineering., Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 2007
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼