{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T16:55:55Z","timestamp":1725987355685},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319981765"},{"type":"electronic","value":"9783319981772"}],"license":[{"start":{"date-parts":[[1990,1,1]],"date-time":"1990-01-01T00:00:00Z","timestamp":631152000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/bfb0000596","type":"book-chapter","created":{"date-parts":[[2005,10,5]],"date-time":"2005-10-05T04:48:16Z","timestamp":1128487696000},"page":"251-263","source":"Crossref","is-referenced-by-count":2,"title":["Rule-based requirements specification and validation"],"prefix":"10.1007","author":[{"given":"A.","family":"Tsalgatidou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V.","family":"Karakostas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Loucopoulos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,9,22]]},"reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"Anderson, J. S., & Fickas, S. A Proposed Perspective Shift: Viewing Specification Design as a Planning Problem. Proc. Fifth Int. Workshop on Software Specification and Design, May 19\u201320, 1989, Pittsburgh, PA, USA.","DOI":"10.1145\/75199.75227"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"van Assche, F., Layzell, P. J., Loucopoulos, P., Speltincx, G. Information Systems Development: A Rule-Based Approach. Journal of Knowledge Based Systems, September 1988.","DOI":"10.1016\/0950-7051(88)90033-0"},{"key":"18_CR3","volume-title":"On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases and Programming Languages","author":"A. Borgida","year":"1984","unstructured":"Borgida, A., Mylopoulos, J., & Wong, H. K. Z. Generalization\/specialization as a basis for software specification. In Brodie, M. et al (eds.). \"On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases and Programming Languages. Springer-Verlag, New York, 1984."},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"Borgida, A., Greenspan, S., Mylopoulos, J. Knowledge Representation as the Basis for Requirements Specification. COMPUTER, April 1985.","DOI":"10.1109\/MC.1985.1662870"},{"volume-title":"Approaches to Prototyping","year":"1984","key":"18_CR5","unstructured":"Budde, R. (ed.) Approaches to Prototyping. Springer-Verlag, Berlin, 1984."},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Chen, P. P. S. The Entity-Relationship Model: Towards a Unified View of Data. ACM TODS, Vol. 1, No. 1, March 1976.","DOI":"10.1145\/320434.320440"},{"key":"18_CR7","unstructured":"Dubois, E. & Hagelstein, J. Reasoning on Formal Requirements: A Lift Control System. Proc. Fourth Int. Workshop on Software Spec. and Design, April 3\u20134, 1987, Monterey, CA."},{"key":"18_CR8","unstructured":"Dubois, E., Hagelstein, J., Lahou, E., Ponsaert, F., Rifau, A., Williams, F. The ERAE Model: A Case Study. In \"Information System Design Methodologies: improving the practice\", Olle, T., W., Sol, H., G., Verrijn-Stuart, A., A. (eds). North-Holland Publishing Company, IFIP 1986."},{"key":"18_CR9","unstructured":"Greenspan, S., J. Requirements Modelling: A Knowledge Representation Approach to Software Requirements Definition. Technical Report No. CSRG-155, University of Toronto, 1984."},{"key":"18_CR10","unstructured":"Hammond, K. \"CHEF\": A Model of Case-Based Planning. In Proc. of the Fifth National Conf. on Artificial Intelligence, Philadelphia, PA, 1986."},{"key":"18_CR11","volume-title":"System Development","author":"M. Jackson","year":"1983","unstructured":"Jackson, M. System Development. Prentice-Hall International, London, 1983."},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"Karakostas, V. & Loucopoulos, P. Verification of Conceptual Schemata Based on a Hybrid Object Oriented and Logic Paradigm. Journal of Information and Software Technology, Vol. 30, No. 10, December 1988.","DOI":"10.1016\/0950-5849(88)90115-2"},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"Loucopoulos, P. & Champion, R.E.M. Knowledge-based Support for Requirements Engineering. Journal of Information and Software Technology, Vol. 31, No. 3, April 1989.","DOI":"10.1016\/0950-5849(89)90103-1"},{"key":"18_CR14","volume-title":"Structured Analysis and System Specification","author":"T. deMarco","year":"1978","unstructured":"deMarco, T. Structured Analysis and System Specification. New York: Yourdon, 1978."},{"key":"18_CR15","unstructured":"Mylopoulos, J. The Role of Knowledge Representation in the Development of Specifications. In \"Information Processing 86\". Kugler, H. J. (ed.) Elsevier Science Publishers B. V., IFIP 1986."},{"key":"18_CR16","unstructured":"Nijssen, G. M. On Experience with Large-scale Teaching and Use of Fact-based Conceptual Schemas in Industry and University. In Proc. IFIP Conference on Data Semantics (DS-1), Meersman, R. & Steel, T. B. Jr. (eds.), Elsevier North-Holland, Amsterdam 1986."},{"key":"18_CR17","volume-title":"Communication with Automata. Suppl. to Tech. Rep. RAD C-TR-65-337, Vol. 1","author":"C. A. Petri","year":"1962","unstructured":"Petri, C. A. Communication with Automata. Suppl. to Tech. Rep. RAD C-TR-65-337, Vol. 1, Grifiss Air Force BAse, NY, 1966 (translated from \"Kommunication mit Automaton\", University of Bohn, Germany, 1962."},{"key":"18_CR18","doi-asserted-by":"crossref","unstructured":"Reubenstein, H. B. & Waters, R. C. The Requirements Apprentice: An Initial Scenario. Proc. Fifth Int. Workshop on Software Specification and Design, May 19\u201320, Pittsburgh, PA, 1989.","DOI":"10.1145\/75199.75231"},{"key":"18_CR19","unstructured":"Sowa, J. F. Conceptual Structures: Information Processing in Mind and Machine. Addison-Wesley Publishing Company, 1984."},{"key":"18_CR20","unstructured":"Tarski, A. Logic Semantics and Metamathematics. Oxford Univ. Press, 1956."},{"key":"18_CR21","unstructured":"Tsalgatidou, A. Dynamics of Information Systems: Modelling and Verification. Ph.D. thesis, Dept. of Computation, University of Manchester Institute of Science and Technology, June 1988."},{"key":"18_CR22","series-title":"SYSLAB Report","volume-title":"Diagnosis of Conceptual schemas","author":"R. Wohed","year":"1987","unstructured":"Wohed, R. Diagnosis of Conceptual schemas. SYSLAB Report No. 56, Univ. of Stockholm, Sweden, 1987."},{"key":"18_CR23","unstructured":"Yeh, R. T., Zave, P., Conn, A. P. & Cole, G. E. Jr. Software Requirements: New Directions and Perspectives. In \"Handbook of Software Engineering\", Vick, C. R. & Ramamoorthy, C\/ V. (eds.), Van Nostrand Reinhold Company Inc., 1984."},{"key":"18_CR24","unstructured":"Zisman, M. D. A Representation of Office Processes. Dept. of Decision Sciences, Univ. of Pennsylvania, WP 76-1-03, 1976."}],"container-title":["Notes on Numerical Fluid Mechanics and Multidisciplinary Design","Active Flow and Combustion Control 2018"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0000596","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,9]],"date-time":"2020-04-09T22:10:57Z","timestamp":1586470257000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0000596"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783319981765","9783319981772"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/bfb0000596","relation":{},"ISSN":["1612-2909","1860-0824"],"issn-type":[{"type":"print","value":"1612-2909"},{"type":"electronic","value":"1860-0824"}],"subject":[],"published":{"date-parts":[[1990]]}}}