Author of the publication

Maintaining the Truth of Specifications in Evolutionary Software.

, , and . Int. J. Artif. Intell. Tools, 2 (1): 15-32 (1993)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Software Engineering in the Year 2000., , , , , and . SEKE, page 473. Knowledge Systems Institute, (1993)Storage and access of temporal information for the management of complex systems., and . SAC, page 264-272. ACM, (1992)Fault tolerant distributed process-control systems., and . FJCC, page 522-526. ACM, (1987)Panel - The Virtual Heterogeneous Supercomputer: Can It Be Built?, , , , , , , and . HPDC, page 30-31. IEEE, (1993)Reliability and Integrity of Large Computer Programs., , and . Fachtagung Prozessrechner, volume 12 of Lecture Notes in Computer Science, page 86-162. Springer, (1974)Maintaining the Truth of Specifications in Evolutionary Software., , and . Int. J. Artif. Intell. Tools, 2 (1): 15-32 (1993)Computer Education Guest editor's introduction., and . Computer, 8 (12): 26-27 (1975)Computer architecture overview., and . AFIPS National Computer Conference, volume 47 of AFIPS Conference Proceedings, page 923-924. AFIPS Press, (1978)Adaptation properties for dynamic architectures., , and . MARK, page 543-556. IEEE, (1979)Data management in distributed data bases., and . MARK, page 667-680. IEEE, (1979)