MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Formalization in Program Development." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 134 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Adding Real Time to Formal Program Development  
  • by Colin Fidge, Colin Fidge — 1994 — FME'94: Industrial Benefit of Formal Methods, volume 873 of Lecture Notes in Computer Science
  • … Adding Real Time to Formal Program Development June 1994 Adding Real Time to Formal Program Development…
  • Cited by 11 (7 self) – Add To MetaCart
  • Extended ML: Past, present and future  
  • by Donald Sannella , Andrzej Tarlecki — 1991 — PROC. 7TH WORKSHOP ON SPECIFICATION OF ABSTRACT DATA TYPES, WUSTERHAUSEN. SPRINGER LNCS 534
  • … of past, present and future work on the Extended ML formal program development framework is given…
  • Cited by 22 (9 self) – Add To MetaCart
  • Colimits for Concurrent Collectors  
  • by Dusko Pavlovic, Peter Pepper, Doug Smith — 2003 — In Verification: Theory and Practice, essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday (2003
  • …. This case study applies techniques of formal program development by specification refinement and composition…
  • Cited by 2 (0 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB