{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:03:12Z","timestamp":1725663792818},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540539124"},{"type":"electronic","value":"9783540463511"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-53912-3_17","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:17:08Z","timestamp":1330208228000},"page":"29-54","source":"Crossref","is-referenced-by-count":13,"title":["ViewPoint oriented software development: Methods and viewpoints in requirements engineering"],"prefix":"10.1007","author":[{"given":"Anthony","family":"Finkelstein","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Goedicke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeff","family":"Kramer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Celso","family":"Niskier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,5]]},"reference":[{"key":"#cr-split#-2_CR1.1","unstructured":"Cunningham J., Finkelstein A., Goldsack S., Maibaum T. & Potts C. (1985);"},{"key":"#cr-split#-2_CR1.2","unstructured":"Formal Requirements Specification ??? The Forest Project; Proc. 3rd International Workshop on Software Specification & Design; pp 186???191, IEEE CS Press."},{"key":"#cr-split#-2_CR2.1","unstructured":"Finkelstein A. & Fuks H. (1989);"},{"key":"#cr-split#-2_CR2.2","unstructured":"Multi-Party Specification; Proc 5th International Workshop on Software Specification & Design; pp 185???196, IEEE CS Press [Also ACM Software Engineering Notes May 1989]."},{"key":"#cr-split#-2_CR3.1","unstructured":"Finkelstein, A. & Hagelstein, J. (1989);"},{"key":"#cr-split#-2_CR3.2","unstructured":"Formal Frameworks for Understanding Information System Requirements Engineering: a research agenda; [To appear] Nijssen, S. & Twine, S.(Eds) IFIP CRIS Review Workshop; North-Holland."},{"key":"#cr-split#-2_CR4.1","unstructured":"Finkelstein, A. & Potts, C. (1987);"},{"key":"#cr-split#-2_CR4.2","unstructured":"Building Formal Specifications Using ???Structured Common Sense???; Proc. 4th International Workshop on Software Specification & Design; IEEE CS Press."},{"key":"#cr-split#-2_CR5.1","unstructured":"Goedicke M., Ditt W., Schippers H. (1989);"},{"key":"#cr-split#-2_CR5.2","unstructured":"The ??-Language Reference Manual, Research Report No 295 1989, Department of Computer Science, University of Dortmund."},{"key":"2_CR6","unstructured":"Goedicke,M.(1989); Paradigms of Modular Software Development (to appear) Mitchell R.J. (Ed); Managing Complexity in Software Engineering; Peter Peregrinus, Stevenage, England"},{"key":"#cr-split#-2_CR7.1","unstructured":"Kaiser G., Feiler P., Popovich S. (1988);"},{"key":"#cr-split#-2_CR7.2","doi-asserted-by":"crossref","unstructured":"Intelligent Assistance for Software Development and Maintenance; IEEE Software, May 1988, pp40???49","DOI":"10.1109\/52.2023"},{"key":"#cr-split#-2_CR8.1","unstructured":"Kellner M., Hansen G. (1989);"},{"key":"#cr-split#-2_CR8.2","unstructured":"Software Process Modelling: a case study; Proc. Hawaii International Conference on System Sciences-22, V2, pp175???188; IEEE CS Press."},{"key":"#cr-split#-2_CR9.1","unstructured":"Khosla S., Maibaum T. (1989);"},{"key":"#cr-split#-2_CR9.2","unstructured":"Time, Behaviour and Function; (In) Barringer H., Proc. Colloquium on Temporal Logic & Specifications (Handbook of Temporal Logic); LNCS Springer Verlag."},{"issue":"4","key":"2_CR10","doi-asserted-by":"crossref","first-page":"424","DOI":"10.1109\/TSE.1985.232231","volume":"SE-11","author":"J. Kramer","year":"1985","unstructured":"Kramer J. & Magee J. (1985); Dynamic Configuration for Distributed Systems; IEEE Trans. Software Engineering; SE-11,4, pp 424\u2013436.","journal-title":"IEEE Trans. Software Engineering"},{"key":"2_CR11","unstructured":"Kramer J., Finkelstein A., Ng K., Potts C. & Whitehead K. (1987); \u201cTool Assisted Requirements Analysis: TARA final report\u201d; Imperial College, Dept. of Computing, Technical Report 87\/18."},{"key":"2_CR12","first-page":"159","volume":"V24","author":"J. Mackenzie","year":"1981","unstructured":"Mackenzie, J. (1981); The Dialectics of Logic; Logique et Analyse, V24, pp 159\u2013177.","journal-title":"Logique et Analyse"},{"key":"2_CR13","unstructured":"Mullery, G. (1985); Acquisition-Environment; (In) Paul, M. & Siegert, H. \"Distributed Systems: Methods and Tools for Specification\"; Springer Verlag LNCS 190."},{"key":"#cr-split#-2_CR14.1","unstructured":"Niskier C. & Maibaum T. (1989);"},{"key":"#cr-split#-2_CR14.2","unstructured":"Acquisition, Classification and Formalisation of Software Specification Heuristics; Proc. 3rd European Knowledge Acquisition Workshop."},{"key":"#cr-split#-2_CR15.1","unstructured":"Niskier C., Maibaum T. & Schwabe D. (1989);"},{"key":"#cr-split#-2_CR15.2","unstructured":"A Look Through PRISMA: towards knowledge-based environments for software specification; Proc 5th International Workshop on Software Specification & Design; pp 128???136, IEEE CS Press [Also ACM Software Engineering Notes May 1989]."},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Robinson W. (1989); Integrating Multiple Specifications Using Domain Goals; Proc 5th International Workshop on Software Specification & Design; pp 219\u2013226, IEEE CS Press.","DOI":"10.1145\/75199.75232"},{"key":"2_CR17","unstructured":"Stephens, M. & Whitehead, K. (1985); \"The Analyst \u2014 A Workstation for Analysis and Design\"; Proc 8th ICSE; IEEE CS Press."},{"issue":"11","key":"2_CR18","doi-asserted-by":"crossref","first-page":"902","DOI":"10.1145\/182.358443","volume":"26","author":"D. Wile","year":"1983","unstructured":"Wile D. (1983); Program Developments: Formal Explanations of Implementations; CACM 26(11), pp 902\u2013911.","journal-title":"CACM"}],"container-title":["Lecture Notes in Computer Science","Algebraic Methods II: Theory, Tools and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-53912-3_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:51:23Z","timestamp":1605646283000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-53912-3_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540539124","9783540463511"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-53912-3_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}