|
|
|
|
| LEADER |
00000cam a2200000Ia 4500 |
| 001 |
5672623 |
| 005 |
20170914162231.9 |
| 006 |
m d |
| 007 |
cr mn--------- |
| 008 |
010914s2000 caua sb 101 0 eng c |
| 003 |
ICU |
| 010 |
|
|
|a 00111877
|
| 020 |
|
|
|a 0769509061
|
| 020 |
|
|
|a 076950907X (case)
|
| 020 |
|
|
|a 0769509088 (microfiche)
|
| 035 |
|
|
|a (OCoLC)47970191
|
| 040 |
|
|
|a WAU
|c WAU
|d OCLCQ
|d ICU
|d UtOrBLW
|d OrLoB-B
|
| 049 |
|
|
|a CGUA
|
| 050 |
|
4 |
|a QA76.758
|b .I58 2000a
|
| 111 |
2 |
|
|a International Symposium on Principles of Software Evolution
|d (2000 :
|c Kanazawa-shi, Japan)
|
| 245 |
1 |
0 |
|a International Symposium on Principles of Software Evolution :
|b proceedings : Kanazawa, Japan, November 1-2, 2000 /
|c sponsored by Japan Advanced Institute of Science and Technology (JAIST) ... [et al.].
|
| 246 |
1 |
|
|i Additional title on IEEE Computer Society Proceedings list:
|a ISPSE'00
|
| 246 |
3 |
|
|a International Symposium on Principles of Software Evolution
|
| 246 |
3 |
0 |
|a Symposium on Principles of Software Evolution
|
| 246 |
3 |
0 |
|a Principles of Software Evolution
|
| 246 |
1 |
5 |
|a ISPSE 2000
|
| 246 |
3 |
0 |
|a ISPSE
|
| 260 |
|
|
|a Los Alamitos, Calif. :
|b IEEE Computer Society,
|c c2000.
|
| 300 |
|
|
|a ix, 321 p. :
|b ill. ;
|c 28 cm.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|0 http://id.loc.gov/vocabulary/contentTypes/txt
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|0 http://id.loc.gov/vocabulary/mediaTypes/c
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|0 http://id.loc.gov/vocabulary/carriers/cr
|
| 500 |
|
|
|a "IEEE Computer Society order number PR00906" -- T.p. verso.
|
| 505 |
0 |
0 |
|t Overview /
|r Takuya Katayama --
|t Towards a Theory of Software Evolution - And its Practical Impact /
|r M. Lehman and J. Ramil --
|t Supporting Compositional Styles for Software Evolution /
|r O. Nierstrasz and F. Achermann --
|t Mobile Codes with Interactive Proofs: An Approach to Provably Safe Evolution of Distributed Software Systems /
|r Y. Tsukada --
|t Describing Consistent Component Extension with Expression of Dependence /
|r W. Qiu --
|t Sharing Instability of a Distributed Cooperative Work /
|r K. Ochimizu, H. Murakoshi and K. Fujieda /
|r [et al.] --
|t Managing Software Evolution with the Service Concept /
|r T. Mikkonen, E. Lahde and M. Siiskonen /
|r [et al.] --
|t Simulating the Impact of Business Process Management Agents and Human Factors /
|r S. Mizutani, H. Tarumi and Y. Kambayashi --
|t Program Synthesis for Stepwise Satisfiable Specification of Reactive System /
|r N. Yoshiura and N. Yonezaki --
|t Evolutionary Development of Object Behaviors /
|r K. Itou and T. Katayama --
|t Evolving Temporal Conceptual Schemas: The Reification Case /
|r C. Gomez, J. Lopez and A. Olive --
|t Using Predicate Temporal Logic and Coloured Petri Nets to Specifying Integrity Restrictions in the Structural Evolution of Temporal Active Systems /
|r M. Rodriguez-Fortiz and J. Parets Llorca --
|t Speed and Scale Up Software Reengineering with Abstraction Patterns and Rules /
|r X. Liu, H. Yang and H. Zedan /
|r [et al.] --
|t Object-Oriented Modeling of Software Patterns /
|r T. Kobayashi, M. Kamo and T. Sanui /
|r [et al.] --
|t Evolutionary Patterns of Design and Design Patterns /
|r M. Aoyama --
|t An Approach for Constructing Component-based Software Systems with Dynamic Adaptability using LEAD++ /
|r N. Amano and T. Watanabe --
|t Dynamic Compilation of a Reflective Language using Run-Time Specialization /
|r H. Masuhara, Y. Sugita and A. Yonezawa --
|t Specifying Runtime Environments and Functionalities of Downloadable Components under the Sandbox Model /
|r H. Kaiya and K. Kaijiri --
|t Architecture-Driven Embedded Systems Adaptation for Supporting Vocabulary Evolution /
|r N. Subramanian and L. Chung --
|t A Meta-model for Language-Independent Refactoring /
|r S. Tichelaar, S. Ducasse and S. Demeyer /
|r [et al.] --
|t Redesigning of an Existing Software using Design Patterns /
|r G. Masuda, N. Sakamoto and K. Ushijima --
|t LACE Frameworks and Technique - Identifying the Legacy Status of a Business Information System from the Perspectives of its Causes and Effects /
|r P. O'Byrne and B. Wu --
|t Evolutional Tableau Method for Temporal Logic Specifications /
|r M. Tomoishi and N. Yonezaki --
|t Formalizing Prioritized Consistency Management in Requirement Engineering /
|r K. Satoh --
|t Verification of Reactive System Specifications with Outer Event Conditional Formula /
|r T. Aoshima and N. Yonezaki --
|t Generating Linkage between Source Code and Evolvable Domain Knowledge for the Ease of Software Evolution /
|r Y. Li, H. Yang and W. Chu --
|t Source Program Archives Site: A Step toward Cooperation of Open-source Movement and Software Engineering /
|r S. Yamamoto and K. Agusa --
|t Cooperative Constraint Functional Logic Programming /
|r M. Marin, T. Ida and T. Suzuki --
|t Programmable Environment Calculus as Theory of Dynamic Software Evolution /
|r S. Nishizaki --
|t Run Time Transformation of Concurrent Processes using Multi Dimensional Representation of Linear Logic /
|r M. Murakami --
|t RoleEP: Role based Evolutionary Programming for Cooperative Mobile Agent Applications /
|r N. Ubayashi and T. Tamai --
|t Design Issues of Visual Languages for Supporting Software Evolution /
|r E. Shibayama, M. Toyoda and B. Shizuki /
|r [et al.] --
|t Calculation Carrying Programs - How to Code Program Transformations /
|r M. Takeichi and Z. Hu --
|t Formal Approach for Handling Software Evolution in Component-based Software Developments /
|r S. Iida and K. Futatsugi --
|t Verifying Formal Specifications using Fault Tree Analysis /
|r S. Liu --
|t Effective Testing and Debugging Methods and Its Supporting System with Program Deltas /
|r M. Matsushita, M. Teraguchi and K. Inoue --
|t Operating Systems Support for the Evolution of Software: An Evaluation using WWW Server Software /
|r S. Suranauwarat and H. Taniguchi --
|t Prototype of the Device Driver Generation System for UNIX-like Operating Systems /
|r T. Katayama, K. Saisho and A. Fukuda --
|t Runtime Software Reorganization by Traditional OS Features /
|r L. Nagamatsu --
|t Implementation and Evaluation of Multiple Processes Control Mechanism for Regulating Execution Speed /
|r T. Tabata, H. Taniguchi and K. Ushijima.
|
| 533 |
|
|
|a Electronic reproduction.
|b Piscataway, NJ :
|c IEEE,
|d c2001.
|n Mode of access: World Wide Web.
|n System requirements: Adobe Acrobat Reader.
|n Title from Web page: Principles of Software Evolution, 2000, proceedings, International Symposium on.
|7 s2001 njun s
|
| 650 |
|
0 |
|a Software reengineering
|v Congresses.
|
| 650 |
|
0 |
|a Software maintenance
|v Congresses.
|0 http://id.loc.gov/authorities/subjects/sh2010113971
|
| 650 |
|
0 |
|a Computer software
|x Development
|v Congresses.
|0 http://id.loc.gov/authorities/subjects/sh2008101470
|
| 650 |
|
7 |
|a Computer software
|x Development.
|2 fast
|0 http://id.worldcat.org/fast/fst00872537
|
| 650 |
|
7 |
|a Software maintenance.
|2 fast
|0 http://id.worldcat.org/fast/fst01124202
|
| 650 |
|
7 |
|a Software reengineering.
|2 fast
|0 http://id.worldcat.org/fast/fst01124215
|
| 655 |
|
7 |
|a Conference papers and proceedings.
|2 fast
|0 http://id.worldcat.org/fast/fst01423772
|
| 710 |
2 |
|
|a Hokuriku Sentan Kagaku Gijutsu Daigakuin Daigaku.
|0 http://id.loc.gov/authorities/names/nr95007092
|1 http://viaf.org/viaf/134552277
|
| 710 |
2 |
|
|a IEEE Computer Society.
|0 http://id.loc.gov/authorities/names/n79043202
|1 http://viaf.org/viaf/145122972
|
| 740 |
0 |
|
|a Principles of Software Evolution, 2000, proceedings, International Symposium on.
|
| 856 |
4 |
0 |
|u http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7291
|
| 901 |
|
|
|a ToCBNA
|
| 903 |
|
|
|a HeVa
|
| 929 |
|
|
|a cat
|
| 999 |
f |
f |
|i 39bb30a7-5e54-5646-b0ca-bfaf269b9fe8
|s b5946ab5-0950-565c-8000-e4661e97fbc4
|
| 928 |
|
|
|t Library of Congress classification
|a QA76.758.I58 2000a
|l Online
|c UC-FullText
|u http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7291
|g ebooks
|i 6715679
|
