Formal Semantics for the Java Modeling Language Daniel Bruns Karlsruhe Institute of Technology A common critique of formal methods in software development practise is, that they are not readily understandab

Source URL: formal.iti.kit.edu

Advances in Programming Languages APL5: ESC/Java2 — The Java Extended Static Checker David Aspinall (including slides by Ian Stark and material adapted from ESC/Java2 tutorial by

Source URL: www.inf.ed.ac.uk

• Computing
• Software engineering
• Software
• Java platform
• Cross-platform software
• Formal methods
• ESC/Java
• Concurrent programming languages
• Java Modeling Language
• Extended static checking
• Java
• Java version history

Towards an Open Building Information Model Server Report on the progress of an open IFC framework Jakob Beetz, Ruben de Laat1, Léon van Berlo1 and Pim van den Helm1 Eindhoven University of Technology 2 TNO Built Environ

Source URL: bimserver.org

• Software
• Computing
• Building information modeling
• Unified Modeling Language
• ISO standards
• Java platform
• Integrated development environments
• Industry Foundation Classes
• XML Metadata Interchange
• Eclipse
• Metamodeling
• Data model

Advances in Programming Languages APL4: JML — The Java Modeling Language David Aspinall (slides originally by Ian Stark) School of Informatics

Source URL: www.inf.ed.ac.uk

• Computing
• Software engineering
• Theoretical computer science
• Formal methods
• Logic in computer science
• Java Modeling Language
• Java platform
• Static program analysis
• ESC/Java
• Hoare logic
• Assertion
• Modeling language

CURRICULUM VITAE Peer Törngren Agile architect, mentor, toolsmith and developer in Java and open source environments, with expert skills in model-driven development, UI design and Eclipse RCP. Positions IBM Cognos (http

Source URL: www.p2r.se

• Integrated development environments
• IBM software
• Unified Modeling Language
• Systems engineering
• Data modeling tools
• IBM Rational Rose XDE
• Rational Unified Process
• Rational Application Developer
• Model-driven engineering
• Eclipse
• Software development
• Software architect

Source URL: www.paasage.eu

• Eclipse
• Unified Modeling Language
• Java enterprise platform
• Object-relational mapping
• Java platform
• Domain-specific language
• Metamodeling
• Connected Data Objects
• XML Metadata Interchange
• Graphical Modeling Framework
• Java Persistence API
• Camel

Spotting Automatically Cross-Language Relations Federico Tomassetti Giuseppe Rizzo Marco Torchiano

Source URL: giusepperizzo.github.io

• Cross-platform software
• Scripting languages
• Computational linguistics
• JavaScript
• Web programming
• Semantic similarity
• Semantics
• Java
• Abstract syntax tree
• Modeling language
• Domain-specific language
• Reserved word

SPECIFIC TARGETED RESEARCH PROJECT INFORMATION SOCIETY TECHNOLOGIES FP6-ISTVIsualize all moDel drivEn programming VIDE

Source URL: vide.tnmsoft.de

• ISO standards
• Java enterprise platform
• Object-relational mapping
• Java platform
• Unified Modeling Language
• Java Persistence API
• Eclipse
• Object Process Methodology
• Metamodeling
• Java Platform
• Enterprise Edition

CWMI RFP Final Submission Presentations (ADTF Denver meeting, 3/8/00) • • •

Source URL: www.cwmforum.org

• Unified Modeling Language
• Computing
• ISO standards
• Software engineering
• Information technology
• Common Warehouse Metamodel
• Meta-Object Facility
• Metamodeling
• XML Metadata Interchange
• Model-driven architecture
• Java Metadata Interface

Reducing the Barriers to Writing Verified Specifications Todd W. Schiller Michael D. Ernst University of Washington

Source URL: homes.cs.washington.edu

• Theoretical computer science
• Formal methods
• Software engineering
• Computing
• Logic in computer science
• Java Modeling Language
• Postcondition
• Extended static checking
• Predicate transformer semantics
• ESC/Java
• Precondition
• KeY