A standard representation of imperative language programs for data collection and software measures specification.
James M. BiemanAlbert L. BakerPaul N. ClitesDavid A. GustafsonAustin MeltonPublished in: J. Syst. Softw. (1988)
Keyphrases
- data collection
- specification language
- data entry
- control flow
- representation language
- highly modular
- programming language
- formal language
- provably correct
- operational semantics
- iso iec
- programming environment
- definition language
- control structures
- modeling language
- software systems
- highly expressive
- sensor networks
- reactive systems
- high level
- language constructs
- agent programming
- free software
- source code
- data analysis
- computer systems
- database applications
- computer programs
- conceptual graphs
- software architecture
- data mining
- natural language
- software development
- object oriented languages
- formal languages
- language learning
- data flow
- formal methods
- java programs
- data model
- platform independent
- intermediate level