Back to Results
First PageMeta Content
Theoretical computer science / Model checkers / Logic in computer science / NuSMV / Model checking / Formal verification / Domain-specific language / Programming language / Feature model / Formal methods / Software / Mathematics


Language Engineering as an Enabler for Incrementally Defined Formal Analyses Daniel Ratiu∗ , Markus Voelter† , Bernhard Schaetz∗ , Bernd Kolb‡ ∗ ForTISS, Munich, Germany, {ratiu | schaetz}@fortiss.org † indep
Add to Reading List

Open Document

File Size: 570,64 KB

Share Result on Facebook

Company

Springer-Verlag New York Inc. / /

/

Facility

Carnegie Mellon University / /

IndustryTerm

software engineering / state transition systems / polynomial time algorithms / dependable interactive systems / embedded software development / formal verification tools / similar tools / verification tools / software developers / analysis tools / type systems / opensource tool / mbeddr technology stack rests / formal analysis tool / real-world systems / mbeddr technology stack / language engineering technologies / verification tool / /

Organization

Physical Units Decision Tables Components State-machines Unit / Carnegie Mellon University / National Aeronautics and Space Administration / /

Person

Bernd Kolb / Markus Voelter / Bernhard Schaetz / Daniel Ratiu / /

Position

guard / projectional editor / General / /

ProgrammingLanguage

Ada / Java / C / Simulink / C++ / /

Technology

Java / mbeddr Technology / polynomial time algorithms / DSL / language engineering technologies / /

URL

http /

SocialTag