Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
  Browse All Reviews > Software (D) > Software Engineering (D.2)  
  Software Engineering (D.2) See Reviews  
General (544)
Requirements/Specifications (6)
Design Tools and Techniques (10)
Coding Tools and Techniques (180)
Software/Program Verification (402)
Testing And Debugging (6)
Programming Environments (13)
Distribution, Maintenance, and Enhancement (216)
Metrics (277)
Management (551)
Design (190)
Software Architectures (316)
Interoperability (70)
Reusable Software (110)
Miscellaneous (92)
Reviews limited to:

Reviews in category "Software Engineering (D.2)":
Certified programming with dependent types: a pragmatic introduction to the Coq proof assistant
Chlipala A.,  The MIT Press, Cambridge, MA, 2013. 440 pp. Type: Book (978-0-262026-65-9), Reviews: (2 of 2)
Agile!: The good, the hype and the ugly
Meyer B.,  Springer Publishing Company, Incorporated, New York, NY, 2014. 170 pp. Type: Book (978-3-319051-54-3)
Analyzing PHP frameworks for use in a project-based software engineering course
Lancor L., Katha S.  SIGCSE 2013 (Proceedings of the 44th ACM Technical Symposium on Computer Science Education, Denver, CO,  Mar 6-9, 2013) 519-524, 2013. Type: Proceedings
A formal systems engineering approach in practice: an experience report
Böhm W., Junker M., Vogelsang A., Teufl S., Pinger R., Rahn K.  SER&IPs 2014 (Proceedings of the 1st International Workshop on Software Engineering Research and Industrial Practices, Hyderabad, India,  Jun 1, 2014) 34-41, 2014. Type: Proceedings
Producing and delivering a Coursera MOOC on pattern-oriented software architecture for concurrent and networked software
Schmidt D., McCormick Z.  SPLASH 2013 (Proceedings of the 2013 Companion Publication for the Conference on Systems, Programming, Languages and Applications: Software for Humanity, Indianapolis, IN,  Oct 26-31, 2013) 167-176, 2013. Type: Proceedings

Related Topics

Software Engineering
  - Software Management

  - Hardware/Software Protection

  - Formal Definitions And Theory

Software/Program Verification
  - Specifying And Verifying And Reasoning About Programs

  - Performance

  - System Management
  - Software Management
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2014 ThinkLoud, Inc.
Terms of Use
| Privacy Policy