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
Search
  Browse All Reviews > Software (D) > Software Engineering (D.2)  
  Software Engineering (D.2) See Reviews  
 
General (584)
Requirements/Specifications (7)
Design Tools and Techniques (11)
Coding Tools and Techniques (195)
Software/Program Verification (426)
Testing And Debugging (5)
Programming Environments (13)
Distribution, Maintenance, and Enhancement (234)
Metrics (298)
Management (589)
Design (198)
Software Architectures (353)
Interoperability (80)
Reusable Software (119)
Miscellaneous (93)
 
 
Reviews limited to:
 
 

Reviews in category "Software Engineering (D.2)":
The science of brute force
Heule M., Kullmann O.  Communications of the ACM 60(8): 70-79, 2017. Type: Article
Incremental bounded model checking for embedded software
Schrammel P., Kroening D., Brain M., Martins R., Teige T., Bienmüller T.  Formal Aspects of Computing 29(5): 911-931, 2017. Type: Article
Service-oriented architecture: analysis and design for services and microservices (2nd ed.)
Erl T.,  Prentice Hall Press, Upper Saddle River, NJ, 2016. 416 pp. Type: Book (978-0-133858-58-7)
The logical view on continuous Petri nets
Blondin M., Finkel A., Haase C., Haddad S.  ACM Transactions on Computational Logic 18(3): 1-28, 2017. Type: Article
Discovering user behavioral features to enhance information search on big data
Cassavia N., Masciari E., Pulice C., Saccà D.  ACM Transactions on Interactive Intelligent Systems 7(2): 1-33, 2017. Type: Article
more...

Related Topics

D.2
Software Engineering
  - Software Management

D.2.0
General
  - Hardware/Software Protection

D.2.1
Requirements/Specifications
  - Formal Definitions And Theory

D.2.4
Software/Program Verification
  - Specifying And Verifying And Reasoning About Programs

D.2.8
Metrics
  - Performance

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