Back to Results
First PageMeta Content
Models of computation / Software engineering / Data modeling / Theoretical computer science / Systems engineering / Model-driven architecture / Finite-state machine / UML state machine / UMLsec / Unified Modeling Language / Automata theory / Digital electronics


Formalizing Information Flow Control in a Model-Driven Approach? Kurt Stenzel, Kuzman Katkalov, Marian Borek, and Wolfgang Reif Institute for Software & Systems Engineering, Augsburg University, Germany
Add to Reading List

Document Date: 2014-12-01 09:13:15


Open Document

File Size: 2,23 MB

Share Result on Facebook

Company

Oxford University Press / Engineering Secure Software / /

Country

Germany / /

Event

Product Issues / /

Facility

Wolfgang Reif Institute / Augsburg University / /

IndustryTerm

travel agency web service / airline lifeline / secure systems / airline web service / airline / secure applications / larger systems / web services / /

Organization

Oxford University / Wolfgang Reif Institute for Software & Systems Engineering / Augsburg University / /

Person

Marian Borek / Specification / Kurt Stenzel / Wolfgang Reif / Kuzman Katkalov / /

Position

travel planner / editor / An Example Application The travel planner / planner / /

Product

model / /

ProgrammingLanguage

Java / /

Technology

dom / Flow Control / Java / smart phones / Smartphones / smartphone / /

SocialTag