MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Formal Specification." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 10,657 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Formal Specification  
  • by Deliverable Gmd Forschungszentrum, Part A -inco-copernicus
  • … Project No.: 977020 Formal Specification (Deliverable D2) GMD - Forschungszentrum Informationstechnik Gmb…
  • Add To MetaCart
  • Formal Specification of  
  • by Operating System Operations, Dan Zhou, Paul E. Black
  • …Formal Specification of Operating System Operations Dan Zhou Department of Computer Science…
  • Add To MetaCart
  • Visualization of Formal Specifications  
  • by Soon-kyeong Kim, Soon-kyeong Kim, David Carrington, David Carrington — 1999 — In 6th Aisa Pacific Software Engineering Conference
  • … Queensland 4072 Australia TECHNICAL REPORT No. 99-47 Visualization of Formal Specifications Soon-Kyeong Kim…
  • Cited by 8 (0 self) – Add To MetaCart
  • Formal Specification in Metamorphic Programming  
  • by David Penny, Richard C. Holt, Michael W. Godfrey — 1991 — VDM '91: Formal Software Development Methods --- Proc. of the 4th International Symposium of VDM Europe
  • …Formal Specification in Metamorphic Programming David A. Penny, Richard C. Holt, Michael W…
  • Cited by 4 (2 self) – Add To MetaCart
  • Validation of Formal Specifications  
  • by Dominique Méry, Dominique M Ery, Yassine Mokhtari
  • …Validation of formal specifications Dominique M ery and Yassine Mokhtari LORIA-UMR n o 7503…
  • Add To MetaCart
  • Another Formal Specification Language  
  • by Cover Karen Saaman, Aan De Rijksuniversiteit Groningen, Erik Saaman, Prof. Dr. P. Klint, Beoordelingscommissie Prof. Dr, P. D. Mosses, Prof. Dr. W. H. Hesselink — 2000
  • …ANOTHER FORMAL SPECIFICATION LANGUAGE Copyright c   2000 Erik Saaman ISBN 90-367-1308-0 IPA…
  • Add To MetaCart
  • Formal Specification in Metamorphic Programming  
  • by David Penny Richard, Richard C. Holt, Michael W. Godfrey — 1991 — VDM '91: Formal Software Development Methods --- Proc. of the 4th International Symposium of VDM Europe
  • …Formal Specification in Metamorphic Programming David A. Penny, Richard C. Holt, Michael W…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB