01319nam--2200397---450-99000299769020331620071023112157.03-540-25877-9000299769USA01000299769(ALEPH)000299769USA0100029976920071023d2006----km-y0itay0103----baengDEa|||||||001yyComponent-based software engineering9th INTERNATIONAL SYMPOSIUM, CBSE 2006Vasteras, Sweden, June/july 2006proceedingsIan Gorton...[et al.](eds.)Berlin [etc.]Springer[c2006]XI, 394 p.ill.24 cm.Lecture notes in computer science40632001Lecture notes in computer science40632001001-------2001SoftwareCongressiVasteras2006005.3GORTON,IanInternational Symposium, CBSE 2006<9. ;2006 ;Vasteras>ITsalbcISBD990002997690203316001 LNCS 406333970/CBS00100216091BKSCISENATORE9020071023USA011116SENATORE9020071023USA011121Component-Based Software Engineering772376UNISA03977nam 22007095 450 99646572800331620200701105446.03-540-46758-010.1007/BFb0015032(CKB)1000000000233461(SSID)ssj0000321131(PQKBManifestationID)11255490(PQKBTitleCode)TC0000321131(PQKBWorkID)10263541(PQKB)11100361(DE-He213)978-3-540-46758-8(PPN)155182374(EXLCZ)99100000000023346120121227d1989 u| 0engurnn|008mamaatxtccrAlgebraic Methods: Theory, Tools and Applications[electronic resource] /edited by Martin Wirsing, Jan A. Bergstra1st ed. 1989.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1989.1 online resource (VIII, 564 p.) Lecture Notes in Computer Science,0302-9743 ;394Bibliographic Level Mode of Issuance: Monograph3-540-51698-0 Algebraic specification a step towards future software engineering -- How to make algebraic specifications more understandable? -- Efficient implementation of an algebraic specification language -- An integrated algebraic approach to the specification of data types, processes and objects -- Software specification by behavioural canons -- An introduction to COLD-K -- A formal specification of INGRES -- The logic MPL? -- Description algebra -- The calculus ?? -- The RAP system as a tool for testing COLD specifications -- A specification of the intel 8085 microprocessor: A case study -- Specification and prototyping of a compiler for a small applicative language -- Algebraic ADT specifications of an extended relational algebra and their conversion into a working prototype -- ACP? a universal axiom system for process specification -- Modular specifications in process algebra -- An algebraic specification of process algebra, including two examples.Lecture Notes in Computer Science,0302-9743 ;394Software engineeringProgramming languages (Electronic computers)Computer programmingComputer communication systemsComputer logicSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Software Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Computer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XSoftware engineering.Programming languages (Electronic computers).Computer programming.Computer communication systems.Computer logic.Software Engineering.Software Engineering/Programming and Operating Systems.Programming Languages, Compilers, Interpreters.Programming Techniques.Computer Communication Networks.Logics and Meanings of Programs.005.1Wirsing Martinedthttp://id.loc.gov/vocabulary/relators/edtBergstra Jan Aedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465728003316Algebraic methods343804UNISA