03171nam 22007815 450 991048502270332120230221231241.03-540-74964-010.1007/978-3-540-74964-6(CKB)1000000000490520(SSID)ssj0000317286(PQKBManifestationID)11267294(PQKBTitleCode)TC0000317286(PQKBWorkID)10305682(PQKB)11781732(DE-He213)978-3-540-74964-6(MiAaPQ)EBC3063347(MiAaPQ)EBC6312013(PPN)12316513X(EXLCZ)99100000000049052020100301d2007 u| 0engurnn|008mamaatxtccrDomain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures /edited by Chris George, Zhiming Liu, Jim Woodcock1st ed. 2007.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2007.1 online resource (XI, 240 p.) Theoretical Computer Science and General Issues,2512-2029 ;4710"Thoroughly revised tutorial papers based on lectures given ... at the International Training School on Domain Modeling and the Duration Calculus, held ... as an associated event of ICTAC 2007, the 4th International Colloquium on Theoretical Aspects of Computing."3-540-74963-2 Includes bibliographical references and index.Delivering Real-Time Behaviour -- Applicative Modelling with RAISE -- A Theory of Duration Calculus with Application -- Understanding Programming Language Concepts Via Operational Semantics.Theoretical Computer Science and General Issues,2512-2029 ;4710Software engineeringComputer systemsComputer scienceComputer networksAlgorithmsSoftware EngineeringComputer System ImplementationComputer Science Logic and Foundations of ProgrammingComputer Communication NetworksAlgorithmsSoftware engineering.Computer systems.Computer science.Computer networks.Algorithms.Software Engineering.Computer System Implementation.Computer Science Logic and Foundations of Programming.Computer Communication Networks.Algorithms.004.33George Chrisedthttp://id.loc.gov/vocabulary/relators/edtLiu Zhimingedthttp://id.loc.gov/vocabulary/relators/edtWoodcock Jimedthttp://id.loc.gov/vocabulary/relators/edtICTAC 2007(2007 :Macau, China)MiAaPQMiAaPQMiAaPQBOOK9910485022703321Domain Modeling and the Duration Calculus772613UNINA