by
Turner, Raymond. author.
Format:
Electronic Resources
Excerpt:
-- Specification Languages -- Part IV, Methodology: Software Development -- Software System Methodology
by
Ben-Ari, Mordechai. author.
Format:
Electronic Resources
Excerpt:
book describes free software that the author has developed: jSpin—an integrated development environment
View Other Search Results
by
Mills, Bruce. author.
Format:
Electronic Resources
Excerpt:
a rudimentary understanding of programming into the world of deep technical software development. It
by
Hodges, Wilfrid. editor.
Format:
Electronic Resources
Excerpt:
notions of proof and belief; formal methods in software and hardware development; logical approach to
by
Margaria, Tiziana. editor.
Format:
Electronic Resources
Excerpt:
-- Fusing Modeling and Programming into Language-Oriented Programming -- On the Difficulty of Drawing the
Limit Search Results
Narrowed by: