MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Software Engineering for Mathematics." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 29 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Teaching Mathematics to Software Engineers  
  • by Jeannette Wing February, Jeannette M. Wing — 1995 — Lecture Notes in Computer Science
  • …Teaching Mathematics to Software Engineers Jeannette M. Wing February 24, 1995 CMU-CS-95…
  • Add To MetaCart
  • Mathematical Foundations and Notation of RESOLVE  
  • by Wayne Heym Timothy, Timothy J. Long, William F. Ogden, Bruce W. Weide — 1994
  • … approach to reusable component-based software engineering is mathematically-based. This paper discusses…
  • Add To MetaCart
  • Recent books on Formal Methods  
  • by Cliff Jones, Ros A. W. Roscoe, Sbc S. Stepney, R. Barden, D. Cooper — 1996
  • … Mathematics: an introduction for software engineers. Cambridge University Press, 1991. ISBN 0…
  • Add To MetaCart
  • Mathematical Methods  
  • by In System And, Manfred Broy — 1997
  • …Mathematical Methods in System and Software Engineering * Manfred Broy Institut für Informatik…
  • Add To MetaCart
  • Formal Description Techniques -  
  • by How Formal And, M. Broy, Technische Universität München — 1996 — In: Proceedings of FORTE/PSTV’96
  • … some of the widely used description formalisms in software engineering and their mathematics…
  • Add To MetaCart
  • DRAFT 2 On Updates and Change Designations  
  • by Dines Bjørner, An Unended Quest — 2008
  • … Mathematical Underpinnings . . . . . . . . . . . . . . . . . . . . . . . . . . 40 Software Engineering…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB