Home
Fault Tolerant Systems Research Group
Department of Measurement and Information Systems
BME Logo

Primary Links

  • Home
  • Events
  • Education
    • Critical Embedded Systems
    • System Modelling
    • Software and Systems Verification
    • Formal Methods
    • Software Verification and Validation
  • Research
    • Research Directions
    • Application Areas
    • Projects
    • Tools
  • Publications
    • Authors
    • Keywords
  • About Us
    • Members
    • Location
    • Partners and Sponsors
Design and Analysis Techniques for Certifiable Model Transformations (CertiMoT) › Enforcing fine-grained access control for secure collaborative modelling using bidirectional transformations › Stochastic analysis measurements › Constraint Programming with Multi-valued Decision Diagrams: A Saturation Approach › Efficient Saturation-based Bounded Model Checking of Asynchronous Systems ›

Developing and Visualizing Live Model Queries

  • IncQuery
  • integrated development environment
  • live model queries
  • visualization
TitleDeveloping and Visualizing Live Model Queries
Publication TypeConference Paper
Year of Publication2012
AuthorsUjhelyi, Z., Szabó, T., Ráth, I., and Varró, D.
Conference Name1st Workshop on the Analysis of Model Transformations (AMT)
PublisherACM Digital Library
Conference LocationInnsbruck, Austria
ISBN Number978-1-4503-1803-7
KeywordsIncQuery, integrated development environment, live model queries, visualization
URLhttp://dl.acm.org/citation.cfm?id=2432497.2432505&coll=DL&dl=ACM&CFID=330005003&CFTOKEN=76189962
DOI10.1145/2432497.2432505
  • BibTex

Languages

  • English
  • Magyar

BME EduID Sign on

Login

User login

Leírások

  • Submitting homework and lab assignments
  • IT Services
  • Egyéb leírások

Navigation

  • Conference materials

  • Sitemap
  • Location
  • Contact Webmaster