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 (571)
Requirements/Specifications (7)
Design Tools and Techniques (10)
Coding Tools and Techniques (193)
Software/Program Verification (415)
Testing And Debugging (7)
Programming Environments (14)
Distribution, Maintenance, and Enhancement (229)
Metrics (291)
Management (575)
Design (193)
Software Architectures (337)
Interoperability (75)
Reusable Software (114)
Miscellaneous (93)
 
 
Reviews limited to:
 
 

Reviews in category "Software Engineering (D.2)":
Protecting software through obfuscation: Can it keep pace with progress in code analysis?
Schrittwieser S., Katzenbeisser S., Kinder J., Merzdovnik G., Weippl E.  ACM Computing Surveys 49(1): 1-37, 2016. Type: Article
A language-independent proof system for full program equivalence
Ciobâcă S., Lucanu D., Rusu V., Roşu G.  Formal Aspects of Computing 28(3): 469-497, 2016. Type: Article
Protocol-based verification of message-passing parallel programs
López H., Marques E., Martins F., Ng N., Santos C., Vasconcelos V., Yoshida N.  OOPSLA 2015 (Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, Pittsburgh, PA,  Oct 25-30, 2015) 280-298, 2015. Type: Proceedings
Exploring cognitive style and task-specific preferences for process representations
Figl K., Recker J.  Requirements Engineering 21(1): 63-85, 2016. Type: Article
Optimising the ProB model checker for B using partial order reduction
Dobrikov I., Leuschel M.  Formal Aspects of Computing 28(2): 295-323, 2016. 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-2016 ThinkLoud, Inc.
Terms of Use
| Privacy Policy