Herbert H. Thompson, Stefan Gruner, Ibrahim K. El-Far, Markus Montigel, Chia-Chu Chiang, James A. Whittaker
págs. 279-280
An integrated framework for formal development of open distributed systems
Demissie Aredo, Issa Traoré, Hong Ye
págs. 281-286
On formalizing UML state machines using ASMs
Elvinia Riccobene, Alessandra Cavarra, Egon Börger
págs. 287-292
págs. 293-300
On the composition of Java frameworks control-flows
Ana C.V. de Melo, Bruno M. Moutinho
págs. 301-307
A method for the automatic generation of test suites from object models
Jim Davies, Charles Crichton, Alessandra Cavarra
págs. 309-314
Amit Paradkar
págs. 315-322
Elaine J. Weyuker
págs. 323-328
On the testing methods used by beginning software testers
S.P. Ng, T.Y. Chen, Pak-Lok Poon, Yuen Tak Yu
págs. 329-335
A structured experiment of test-driven development
Laurie Williams, Boby George
págs. 337-342
A secure methodology for interchangeable services
Brian Fenicle, Tim Wahls
págs. 343-349
Efficient mediators with closures for handling dynamic interfaces in an imperative language
Toshiyuki Kubo, Calton Pu, Yasushi Shinjo
págs. 351-357
© 2001-2024 Fundación Dialnet · Todos los derechos reservados