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
 
Science of Computer Programming
Elsevier Science Publishers B. V.
 
   
 
Options:
 
  1-10 of 86 reviews Date Reviewed 
  FeatureIDE: an extensible framework for feature-oriented software development
Thüm T., Kästner C., Benduhn F., Meinicke J., Saake G., Leich T. Science of Computer Programming 7970-85, 2014.  Type: Article

Feature-oriented software development (FOSD) is a model for development and customization of large-scale software systems using distinct reusable functionalities known as features. Several programming languages uses various implementat...

Mar 27 2015
  Execution levels for aspect-oriented programming: design, semantics, implementations and applications
Tanter É., Figueroa I., Tabareau N. Science of Computer Programming 80311-342, 2014.  Type: Article

I was rather surprised when asked to review this particular paper, as I thought that aspect-oriented software development (AOSD) was essentially defunct. As the authors themselves say elsewhere:...

Mar 26 2015
  A method and tool for tracing requirements into specifications
Hallerstede S., Jastram M., Ladenberger L. Science of Computer Programming 822-21, 2014.  Type: Article

Formalizing informal specifications requires traceability. System descriptions are rarely fully formalized right from the start. Assumptions on the environment and requirements of the system are often specified semi-formally or as a mi...

Oct 22 2014
  Matrix code
Van Emden M. Science of Computer Programming 843-21, 2014.  Type: Article

Imperative programming verification is a serious problem! Parallel development of proof and code for imperative programming is the proposed solution. A new language is presented to create a proof in parallel with the code called matrix...

Aug 27 2014
  JACCIE: a Java-based compiler-compiler for generating, visualizing and debugging compiler components
Krebs N., Schmitz L. Science of Computer Programming 79101-115, 2014.  Type: Article

The software described is a compiler generator integrated in a graphical user interface (GUI) to support debugging. A compiler is viewed as a scanner, a parser, and an attribute evaluator. The focus is on the front-end techniques, with...

Aug 12 2014
  Automatically refining partial specifications for heap-manipulating programs
Qin S., He G., Luo C., Chin W., Yang H. Science of Computer Programming 8256-76, 2014.  Type: Article

Formally specifying the behavior of pointer-based programs as a prerequisite of their computer-aided verification is difficult and error-prone. One has not only to specify the shape of the data structures, but also the properties that ...

Aug 5 2014
  The algorithmics of solitaire-like games
Backhouse R., Chen W., Ferreira J. Science of Computer Programming 78(11): 2029-2046, 2013.  Type: Article

Using three types of solitaire puzzles, peg-jumping games, chessboard tiling problems, and a type that the authors call replacement-set games, the authors provide examples of the use of invariants in the design and solution of such puz...

Jul 7 2014
  The Metrô Rio case study
Ferrari A., Fantechi A., Magnani G., Grasso D., Tempestini M. Science of Computer Programming 78(7): 828-842, 2013.  Type: Article

Seaplane and railway systems require reliable, smart machines for inevitably circumnavigating disasters and providing safety. How should formal models for the design, execution, and verification of automatic protection devices be devel...

Jun 16 2014
  AspectMaps: extending Moose to visualize AOP software
Fabry J., Kellens A., Denier S., Ducasse S. Science of Computer Programming 796-22, 2014.  Type: Article

Aspect-oriented programming (AOP) is an emerging software development paradigm primarily oriented toward addressing cross-cutting concerns in software development. Cross-cutting concerns are those elements of a software system that can...

Apr 22 2014
  Parallel actor monitors: disentangling task-level parallelism from data partitioning in the actor model
Scholliers C., Tanter E., De Meuter W. Science of Computer Programming 8052-64, 2014.  Type: Article

Scholliers et al. have designed and implemented a mechanism that allows message control within an actor to be parallelized. For example, in a dining philosophers example, the philosopher requests two forks; the order in which the forks...

Apr 4 2014
 
 
 
Display per column
 
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy