| Record ID | marc_columbia/Columbia-extract-20221130-006.mrc:156667706:4008 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-006.mrc:156667706:4008?format=raw |
LEADER: 04008mam a2200421 a 4500
001 2632117
005 20221012211049.0
008 990726s1999 maua b 101 0 eng
010 $a 99040807
015 $aGB99-80665
020 $a0792386299 (alk. paper)
035 $a(OCoLC)ocm42009372
035 $9AQX6964CU
035 $a(NNC)2632117
035 $a2632117
040 $aDLC$cDLC$dC#P$dUKM$dOHX$dOrLoB-B
050 00 $aQA76.64$b.B42 1999
072 7 $aQA$2lcco
082 00 $a005.1/17$221
245 00 $aBehavioral specifications of businesses and systems /$cedited by Haim Kilov, Bernhard Rumpe, Ian Simmonds.
260 $aBoston :$bKluwer Academic,$c1999.
300 $axii, 315 pages :$billustrations ;$c25 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
490 1 $aKluwer international series in engineering and computer science ;$vSECS 523
500 $a"The second volume of papers based on a series of workshops held alongside ACM's [Association for Computing Machinery] annual conference on Object Oriented Programming Systems Languages and Applications (OOPSLA) and European Conference on Object-Oriented Progrmming (ECOOP)"--Pref.
504 $aIncludes bibliographical references and index.
505 00 $g1.$tObject-oriented transformation /$rKenneth Baclawski, Scott DeLoach and Mieczyslaw Kokar /$r[et al.] --$g2.$tBeing served: The purposes, strengths and limitations of formal service modelling /$rBernard Cohen --$g3.$tWhat vs. how of visual modeling: The arrow-diagram logic of visual modeling /$rZinovy Diskin, Boris Kadish and Frank Piessens --$g4.$tMeta-modelling semantics of UML /$rAndy Evans, Robert France and Kevin Lano /$r[et al.] --$g5.$tCombining JSD and Cleanroom for object-oriented scenario specification /$rMarc Frappier and Richard St-Denis --$g6.$tWhat is behind UML-RT /$rRadu Grosu, Manfred Broy and Bran Selic /$r[et al.] --$g7.$tApplying ISO RM-ODP in the specification of CORBA interfaces and semantics to general ledger systems /$rJack Hassall and John Eaton --$g8.$tComponent-based algebraic specifications /$rShusaku Iida, Kokichi Futatsugi and Razvan Diaconescu --$g9.$tA meta-model semantics for structural constraints in UML /$rStuart Kent, Stephen Gaito and Niall Ross --
505 80 $g10.$tOn the structure of convincing specifications /$rHaim Kilov and Allan Ash --$g11.$tFormalising the UML in structured temporal theories /$rKevin Lano and Juan Bicarregui --$g12.$tJML: A notation for detailed design /$rGary Leavens, Albert Baker and Clyde Ruby --$g13.$tAgents: Between order and chaos /$rJames Odell --$g14.$tUML, the future standard software architecture description language? /$rAndy Schurr and Andreas Winter --$g15.$tUsing information modeling to define business requirements /$rMark Shafer --$g16.$tA layered context perspective on enterprises and information systems /$rIan Simmonds and David Ing --$g17.$t30 Things that go wrong in object-oriented modeling with UML 1.3 /$rAnthony Simons and Ian Graham --$g18.$tFormalizing association semantics in terminologies /$rHarold Solbrig --$g19.$tOn the specification of the business and economic foundations of electronic commerce /$rAngelo Thalassinidis and Ira Sack --$g20.$tEmbedding object-oriented design in system engineering /$rRoel Wieringa.
650 0 $aObject-oriented programming (Computer science)$0http://id.loc.gov/authorities/subjects/sh87007503
650 0 $aSystem design.$0http://id.loc.gov/authorities/subjects/sh85131736
650 4 $aSystem design.
650 4 $aObject-oriented programming (Computer science)
700 1 $aKilov, Haim.$0http://id.loc.gov/authorities/names/n93084706
700 1 $aRumpe, Bernhard.$0http://id.loc.gov/authorities/names/n98097443
700 1 $aSimmonds, Ian,$d1966-$0http://id.loc.gov/authorities/names/n99054093
830 0 $aKluwer international series in engineering and computer science ;$vSECS 523.$0http://id.loc.gov/authorities/names/n84749953
852 00 $boff,eng$hQA76.64$i.B42 1999