{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:28:43Z","timestamp":1725456523864},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540614630"},{"type":"electronic","value":"9783540685951"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0014332","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T04:04:25Z","timestamp":1132718665000},"page":"444-457","source":"Crossref","is-referenced-by-count":1,"title":["Algebraic view specification"],"prefix":"10.1007","author":[{"given":"Barbara","family":"Paech","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"31_CR1","doi-asserted-by":"crossref","unstructured":"E. Astesiano, G.F. Mascari, R. Reggio, and M. Wirsing. On the parameterized algebraic specification of concurrent systems. In TAPSOFT,LNCS 185, pages 342\u2013358. Springer Verlag, 1985.","DOI":"10.1007\/3-540-15198-2_22"},{"key":"31_CR2","unstructured":"ANSI. American National Standard X3.138-1988: Information Resource Dictionary System (IRDS). American National Standard Institute, 1989."},{"key":"31_CR3","unstructured":"[BFG+93] M. Broy, C. Facchi, R. Grosu, R. Hettler, H. Hu\u00dfmann, D. Nazareth, F. Regensburger, O. Slotosch, and K. St\u00f8len. The Requirement and Design Specification Language Spectrum, An Informal Introduction, Version 1.0. Technical Report TUM-I9312, Technische Universit\u00e4t M\u00fcnchen, 1993."},{"key":"31_CR4","unstructured":"[CAB+94] D. Coleman, P. Arnold, S. Bodoff, C. Dollin, H. Gilchrist, F. Hayes, and P. Jeremaes. Object-Oriented Development \u2014 The FUSION method. Prentice Hall, 1994."},{"key":"31_CR5","unstructured":"E. Downs, P. Clare, and I. Coe. Structured systems analysis and design method: application and context. Prentice-Hall, 1992."},{"key":"31_CR6","doi-asserted-by":"crossref","unstructured":"M. Gogolla and R. Herzig. An algebtraic development technique for information systems. In AMAST,LNCS 936, pages 446\u2013460. Springer Verlag, 1995.","DOI":"10.1007\/3-540-60043-4_70"},{"key":"31_CR7","unstructured":"M. Gilpin. A comparison of object-oriented analysis and design methods. Technical report, INTERSOLV at CASE World, 1993."},{"key":"31_CR8","unstructured":"R. Hettler. Entity\/Relationship-Datenmodellierung in axiomatischen Spezifikationssprachen, Ph.D. thesis. Reihe Softwaretechnik, FAST. Tectum Verlag, 1995."},{"key":"31_CR9","doi-asserted-by":"crossref","unstructured":"H. Habermann and F. Leymann. Repository. R. Oldenbourg Verlag, 1993.","DOI":"10.1515\/9783110702125"},{"key":"31_CR10","doi-asserted-by":"crossref","unstructured":"H. Hu\u00dfmann. Formal foundation for pragmatic software engineering methods. In B. Wolfinger, editor, Innovationen bei Rechen-und Kommunikationssystemen, pages 27\u201334, 1994.","DOI":"10.1007\/978-3-642-51136-3_4"},{"key":"31_CR11","unstructured":"H. Hu\u00dfmann. Indirect use of formal methods in software engineering. In M.Wirsing, editor, ICSE-17 Workshop on Formal Methods Applications in Software Engineering Practice, pages 126\u2013133, 1995."},{"key":"31_CR12","unstructured":"I. Jacobson. Object-Oriented Software Engineering. Addison-Wesley, 1992."},{"key":"31_CR13","unstructured":"[RBP+91] J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-oriented Modeling and Design. Prentice-Hall, 1991."},{"key":"31_CR14","unstructured":"B. Rumpe, C. Klein, and M. Broy. Ein strombasiertes mathematisches modell verteilter informationsverarbeitender systeme \u2014 SYSLAB System-modell. Technical Report TUM-I9510, Technische Universit\u00e4t M\u00fcnchen, 1995."},{"key":"31_CR15","unstructured":"H. Saiedian and M. Hinchey. Issues surrounding the transfer of formal methods technology into the actual workplace. In M.Wirsing, editor, ICSE-17 Workshop on Formal Methods Applications in Software Engineering Practice, pages 69\u201376, 1995."}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0014332","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,20]],"date-time":"2021-07-20T03:55:42Z","timestamp":1626753342000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0014332"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540614630","9783540685951"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/bfb0014332","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}