Refinement techniques in software engineering first Pernambuco summer school on software engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004: revised lectures /

Refinement: an overview -- Transformation laws for sequential object-oriented programming -- Using CSP -- Developing and reasoning about probabilistic programs in pGCL -- Real-time and fault-tolerant systems -- A tutorial introduction to CSP in unifying theories of programming -- Using the complian...

Cur síos iomlán

Na minha lista:
Sonraí Bibleagrafaíochta
Main Authors: Pernambuco Summer School on Software Engineering, Cavalcanti, Ana., Sampaio, Augusto., Woodcock, Jim.
Formáid: Livro
Teanga:Inglês
Foilsithe: Springer, 2006
Sraith:Lecture notes in computer science ;
Ábhair:
Engenharia de software Congressos.
Rochtain Ar Líne:https://minerva.ufrj.br/F/?func=direct&doc_number=000908368&local_base=UFR01
Clibeanna: Cuir Clib Leis
Gan Chlibeanna, Bí ar an gcéad duine leis an taifead seo a chlibeáil!

Míreanna Comhchosúla