Back to Results
First PageMeta Content
Unified Modeling Language / Formal methods / Java platform / Knowledge representation / Object Constraint Language / ECO / KeY / Runtime verification / Software development process / Computing / Software / Cross-platform software


Abstract Runtime Monitoring with USE Lars Hamann L´aszl´o Vid´acs Martin Gogolla
Add to Reading List

Document Date: 2012-01-27 03:50:41

Open Document

File Size: 964,97 KB

Share Result on Facebook

City

Jamestown / Vienna / Berlin / Columbus / A UML / /

Company

International Journal / /

Country

Austria / /

/

Facility

USE Lars Hamann L´aszl´o Vid´acs Martin Gogolla Mirco Kuhlmann University of Bremen Germany University / Szeged Hungary University of Bremen Germany University / /

IndustryTerm

software engineering / reverse engineering solution / non-trivial applications / search/select / software architecture graphs / /

Organization

Graduate School / USE Lars Hamann L´aszl´o Vid´acs Martin Gogolla Mirco Kuhlmann University / Szeged Hungary University / Bremen Germany University / /

Person

Martin Gogolla Mirco / /

Position

PAM Extractor / Language Independent OO model Converter PAM Exporter Java program model USE model Columbus analyzer .java Fig / /

ProgrammingLanguage

Unified Modeling Language / Object Constraint Language / Java / L / /

Technology

virtual machine / http / Java / /

URL

www.omg.org/spec/OCL/2.2 / /

SocialTag