w/in this Title
Science of Computer Programming
Elsevier Science Publishers B. V.
1-10 of 86 reviews
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 implementation techniqu...
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 mix of formal ...
Oct 22 2014
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 code, which...
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 a variety o...
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 capture the ...
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 puzzles. Their ...
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 developed? A robu...
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 cannot be clean...
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 become avai...
Apr 4 2014
Reproduction in whole or in part without permission is prohibited. Copyright © 2000-2018 ThinkLoud, Inc.