Representing and using performance requirements during the development of information systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 779 LNCS, Issue , 1994, Pages 187-200

  Nixon, Brian A ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

DATABASE SYSTEMS; INFORMATION USE; TAXATION;

GLOBAL QUALITY; INTEGRITY CONSTRAINTS; LONG TERM PROCESS; NON-FUNCTIONAL REQUIREMENTS; PERFORMANCE FRAMEWORKS; PERFORMANCE REQUIREMENTS; PROTOTYPE DEVELOPMENT;

INFORMATION SYSTEMS;

EID: 33845196546     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-57818-8_51     Document Type: Conference Paper

References (45)

1. BIM Prolog 2.4 Manual. BIM sa/nv, Belgium (1989)
2. R. Balzer: A 15 Year Perspective on Automatic Programming. TSE 11 (1985)
3. 2 Object- Oriented Database System. Proc. 3rd Int. Conf. Database Theory (1990) 126-140
4. A. Borgida, J. Mylopoulos, J. W. Schmidt, I. Wetzeh Support for Data-Intensive Applications: Conceptual Design and Software Development. Proc. Second Int. Workshop on Database Programming Languages (1989) 258-280
5. A. Borgida, J. Mylopoulos, J. W. Schmidt: The TaxisDL Software Description Language. In M. Jarke (Ed.): Database Application Engineering with DAIDA. Berlin: Springer-Verlag (1993)
6. G. Brataas, A. L. Opdahl, V. Vetland, A. Sølvberg: Information Systems: Final Evaluation of the IMSE. Report, SINTEF, Univ. of Trondheim (1992)
7. J. Bubenko jr: Towards a Corporate Knowledge Repository. SYSLAB Report 91- 023-DSV, Stockholm University (1991)
8. S. Ceri, J. Widom: Deriving Production Rules for Constraint Management. Proc. 16th Int. Conf. Very Large Data Bases (1990) 566-577
9. A. Chan et al.: Storage and Access Structures to Support a Semantic Data Model. Proc. Eighth Int. Conf. Very Large Data Bases (1982) 122-130
10. P. Chen: The Entity-Relationship Model -- Toward a Unified View of Data. ACM TODS 1 (1976) 9-36
11. K. L. Chung, D. Rios-Zertuche, B. A. Nixon, J. Mylopoulos: Process Management and Assertion Enforcement for a Semantic Data Model. Proc., Int. Conf. Extending Database Technology (1988) 469-487
12. L. Chung: Representation and Utilization of Non-Functional Requirements for Information System Design. Proc. Third Int. Conf. CAiSE ’91 (1991) 5-30
13. K. L. Chung, P. Katalagarianos, M. Marakakis, M. Mertikas, J. Mylopoulos, Y. Vassiliou: From Information System Requirements to Designs: A Mapping Framework. Information Systems 16 (1991) 429-461
14. K. L. Chung: Representing and Using Non-Functional Requirements: A Process- Oriented Approach. Ph.D. Thesis, Dept. Comp. Sci., Univ. Toronto (1993). Also Report DKBS-TR-93-1
15. L. Chung: Dealing With Security Requirements During the Development of Information Systems. Proc. Fifth Int. Conf. CAiSE ’93 (1993) 234-251
16. L. Chung, B. Nixon: Dealing with Non-Functional Requirements: Three Case Studies. Manuscript, Dept. Comp. Sci., Univ. Toronto (1993)
17. A. Dardenne, A. van Lamsweerde, S. Fickas: Goal-directed Requirements Acquisition. Science of Computer Programming 20 (1993) 3-50
18. R. Hull, R. King: Semantic Database Modeling: Survey, Applications, and Research Issues. Computing Surveys 19 (1987) 201-260
19. W. F. Hyslop: Performance Prediction of Relational Database Management Systems. Ph.D. Thesis, Dept. of Computer Science, Univ. of Toronto (1991)
20. H. V. Jagadish, X. Qian: Integrity Maintenance in an Object-Oriented Database. Proc. 18th Conf. Very Large Data Bases (1992) 469-480
21. M. Jarke, J. Mylopoulos, J. W. Schmidt, Y. Vassiliou: DAIDA: An Environment for Evolving Information Systems. ACM Trans. Information Systems 10 (1992)
22. Matthias Jarke (Ed.): ConceptBase V3.1 User Manual. Univ. of Passan (1992)
23. E. Kant: On the Efficient Synthesis of Efficient Programs. Artif. Intell. 20 (1983)
24. E. D. Lazowska, J. Zahorjan, G. S. Graham, K. C. Sevcik: Quantitative System Performance. Englewood Cliffs, N J: Prentice-Hall (1984)
25. J. Lee: Extending the Potts and Bruns Model for Recording Design Rationale. Proc. 13th Int. Conf. Softw. Eng. (1991) 114-125
26. J. Mylopoulos, A. Borgida, M. Jarke, M. Koubarakis: Telos: Representing Knowledge about Information Systems. ACM Trans. Information Systems 8 (1990)
27. J. Mylopoulos, L. Chung, B. Nixon: Representing and Using Non-Functional Requirements: A Process-Oriented Approach. IEEE TSE 18 (1992) 483-497
28. J. Mylopoulos, L. Chung, E. Yu, B. Nixon: Requirements Engineering 1993: Selected Papers. Report DKBS-TR-93-2, Dept. Comp. Sci. Univ. Toronto (1993)
29. N. Nilsson: Problem-Solving Methods in Artificial Intelligence. McGraw-Hill (1971)
30. B. Nixon, L. Chung, D. Lauzon, A. Borgida, J. Mylopoulos, M. Stanley: Implementation of a Compiler for a Semantic Data Model: Experiences with Taxis. Proc. ACM SIGMOD (1987) 118-131
31. B. A. Nixon, K. L. Chung, D. Lauzon, A. Borgida, J. Mytopoulos, M. Stanley: Design of a Compiler for a Semantic Data Model. In J. W. Schmidt, C. Thanos (Eds.): Foundations of Knowledge Base Management. Springer-Verlag (1989)
32. B. Nixon, J. Mylopoulos: Integration Issues in Implementing Semantic Data Models. In F. Bancilhon, P. Buneman (Eds.): Advances in Database Programming Languages. New York: ACM Press (1990) 187-217
33. B. Nixon: Implementation of Information System Design Specifications: A Performance Perspective. In P. Kanellakis, J. W. Schmidt (Eds.): Database Programming Languages: Bulk Types & Persistent Data -- The Third International Workshop (1991) 149-168. San Mateo, CA: Morgan Kaufmann
34. B. A. Nixon: Dealing with Performance Requirements During the Development of Information Systems. Proc. IEEE Int. Symp. on Requirements Eng. (1993) 42-49
35. A. L. Opdahl: Performance Engineering During Information System Development. Dr.ing. thesis, Fac. Comp. Sci. & Elec. Eng., Norwegian Inst. Technology (1992)
36. J. Peckham, F. Maryanski: Semantic Data Models. Comp. Surveys 20 (1988)
37. Revenue Canada, Taxation: Objections and Appeals. Ottawa (1980)
38. Revenue Canada, Taxation: 1991 Taxation Statistics, Ottawa (1991)
39. Revenue Canada, Taxation: Taxation Operations Manual 70 (1992)
40. Dept. of National Revenue, Taxation, Appeals Branch: Quarterly Statistical Reports for the Periods Ended June 2 & Sept. 27, 1991; Jan. 3 & Mar. 31, 1992. Number of days to reassesss Notices of Objection for reassessments between Jan. 1 & Mar. 31, 1992. Also for periods ending: Dec. 31, 1991; June 26 & Sept. 25, 1992
41. S. Rozen: Automating Physical Database Design: An Extensible Approach. Ph.D. Dissertation, Dept. Comp. Sci., New York Univ. (1993)
42. H. A. Simon: The Sciences of the Artificial, 2nd Ed. MIT Press (1981)
43. C. Smith: Performance Engineering of Software Systems. Addison-Wesley (1990)
44. E. Yu: An Organization Modelling Framework for Information Systems Requirements Engineering. Ph.D. Thesis, Dept. Comp. Sci., Univ. Toronto (forthcoming)
45. M. D. Zisman: Use of Production Systems for Modeling Concurrent Processes. In D. A. Waterman, F. Hayes-Roth (Eds.): Pattern-Directed Inference Systems. New York: Academic Press (1978) 53-68