Executing formal specifications with concurrent constraint programming
From MaRDI portal
Publication:1857312
DOI10.1023/A:1026554217992zbMath1034.68696MaRDI QIDQ1857312
Gary T. Leavens, Albert L. Baker, Tim Wahls
Publication date: 17 February 2003
Published in: Automated Software Engineering (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1026554217992
precondition; formal specification; C++; postcondition; executable specification; concurrent constraintprogramming; model-based specification
68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)
68U99: Computing methodologies and applications
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Integrating formal specifications into applications: the ProB Java API, Models and emerging trends of concurrent constraint programming
Uses Software