2nd international workshop on living with inconsistency

Proceedings - International Conference on Software Engineering

Volumn 2001-May, Issue , 2001, Pages 749-750

  Easterbrook, Steve ^a   Chechik, Marsha ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

MODEL CHECKING; COMPUTER SOFTWARE SELECTION AND EVALUATION; KNOWLEDGE BASED SYSTEMS; LOGIC PROGRAMMING; TECHNICAL PRESENTATIONS; THEOREM PROVING;

AUTOMATED APPROACH; COLLABORATIVE WORKING; DEVELOPMENT PROCESS; ENGINEERING ACTIVITIES; INTERNATIONAL WORKSHOPS; LOGIC MODELS; LOGIC-PROGRAMMING; MODELS CHECKING; RUNTIME BEHAVIORS; SOFTWARE ARTEFACTS; AUTOMATED REASONING; MODEL BASED REASONING; MODEL CHECKING;

LOGIC PROGRAMMING; SOFTWARE ENGINEERING;

EID: 0035000895     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSE.2001.919157     Document Type: Conference Paper

References (13)

1. R. Balzer. 'Tolerating Inconsistency”. In Proceedings of 13th Intemational Conferenceon Software Engineering (ICSE-13), pages 158-165, Austin, Texas, USA, 1991.IEEE ComputerSocietyPress.
2. G. Cugola Tolerating deviations in process support systems via flexible enactment of process models. IEEE Transactions on Software Engineering, 24(11):982-1001, November 1998.
3. W. Emmerich, A. Finkelstein, C. Montangero, S. Antonelli, S. Armitage, and R. Stevens. Managing standards compliance. IEEE Transactions on Software Engineering, 25(6):836851, Nov-Dec 1999.
4. M. Feather. Rapid application of lightweight formal methods for consistency analyses. IEEE Transactions on Software Engineering, 24(11): 949-959, November 1998.
5. C. Ghezzi and B. Nuseibeh. Guest editorial: introduction to the special section. IEEE Transactions on Software Engineering, 25(6):782-783, Nov-Dec 1999.
6. C. Ghezzi and B. A. Nuseibeh. “Introduction to the Special Issue on Managing Inconsistency in Software Development”. IEEE Transactions on Software Engineering, 24(11):906-1001, November 1998.
7. J. Grundy, J. Hosking, and W. Mugridge. Inconsistency management for multiple-view software development environments. IEEE Transactionson Software Engineering, 24(11):960-981, November 1998.
8. C. Heitmeyer, J. Kirby, I., B. Labaw, M. Archer, and R. Bhamdwaj. Using abstmction and model checking to detect safety violations in requirements specifications. IEEE Transactions on Software Engineering, 24(11):927-948, November 1998.
9. M. Krishnan and M. Kellner. Measuring process consistency: implications for reducing software defects. IEEE Transactions on Software Engineering, 25(6):800-815, Nov - Dec 1999.
10. E. Lupu and M. Sloman. Conflicts in policy-based distributed systems management. IEEE Transactionson Software Engineering, 25(6):852-869, Nov-Dec 1999.
11. W. Robinson and S. Pawlowski. Managing requirements inconsistency with development goal monitors. IEEE Transactions on Software Engineering, 25(6):81&835, Nov-Dec 1999.
12. I. Sommerville, P. Sawyer, and S. Viller. Managing process inconsistencyusing viewpoints. IEEE Transactionson SOB-ware Engineering, 25(6):78&799, Nov-Dec 1999.
13. A. van Lamsweerde, R. Darimont, and E. Letier. Managing conflicts in goal-driven requirements engineering. IEEE Transactions on Software Engineering, 24(11):908-926, November 1998.