Skip to main content

Software Development with Executable Functional Specifications

Joseph E. Urban

Publisher page dblp

No abstract available.

BibTeX

@inproceedings{Urban:ICSE82,
  author    = {Joseph E. Urban},
  title     = {Software Development with Executable Functional Specifications},
  booktitle = {ICSE},
  pages     = {418--419},
  publisher = {{IEEE} Computer Society},
  year      = {1982},
}

Related papers

GRIT-an extended REFINE for more executable specifications ASE 1993
Mutation-Based Lifted Repair of Software Product Lines ECOOP 2024
A generic methodology to derive domain-specific performance feedback for developers ICSE 2012
Third eye - specification-based analysis of software execution traces (poster) ICSE 2000
Systematizing security test case planning using functional requirements phrases ICSE 2011
Automatic non-functional testing of code generators families GPCE 2016
Phaedrus: Predicting Dynamic Application Behavior with Lightweight Generative Models and LLMs OOPSLA 2026
Detecting Error-Handling Bugs without Error Specification Input ASE 2019