Software development: two approaches to animation of Z specifications using prolog

Article Properties
Refrences
Title Journal Journal Categories Citations Publication Date
Title 1989
Title 1986
Title 1985
Title 1982
Title 1980
Citations
Title Journal Journal Categories Citations Publication Date
FLAME: a formal framework for the automated analysis of software product lines validated by automated specification testing Software and Systems Modeling
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 15 2015
On checking the consistency of Object-Z classes

 ACM SIGSOFT Software Engineering Notes 2007
Automated rapid prototyping of TUG specifications using Prolog Information and Software Technology
  • Science: Science (General): Cybernetics: Information theory
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 2004
CLPS–B – A constraint solver to animate a B specification International Journal on Software Tools for Technology Transfer
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 10 2003
Safety checking in an automatic train operation system Information and Software Technology
  • Science: Science (General): Cybernetics: Information theory
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 2001
Citations Analysis
Category Category Repetition
Science: Mathematics: Instruments and machines: Electronic computers. Computer science13
Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software11
Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware11
Science: Science (General): Cybernetics: Information theory5
Technology: Mechanical engineering and machinery2
Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics2
Technology: Engineering (General). Civil engineering (General)1
The category Science: Mathematics: Instruments and machines: Electronic computers. Computer science 13 is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled From VDM specifications to functional prototypes and was published in 1993. The most recent citation comes from a 2015 study titled FLAME: a formal framework for the automated analysis of software product lines validated by automated specification testing. This article reached its peak citation in 2001, with 2 citations. It has been cited in 9 different journals. Among related journals, the Information and Software Technology cited this research the most, with 5 citations. The chart below illustrates the annual citation trends for this article.
Citations used this article by year