1![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 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](https://www.pdfsearch.io/img/df66d115fe7fb977b15f27a97aeddd75.jpg) | Add to Reading ListSource URL: formal.iti.kit.edu- Date: 2014-03-13 08:30:05
|
---|
2![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 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](https://www.pdfsearch.io/img/a69b1375e6ceb94de7da1f1b3a8592c1.jpg) | Add to Reading ListSource URL: www.inf.ed.ac.ukLanguage: English - Date: 2010-01-24 19:03:54
|
---|
3![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 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](https://www.pdfsearch.io/img/1b9e36701efe2135a0b452bdfbcd14e0.jpg) | Add to Reading ListSource URL: bimserver.orgLanguage: English - Date: 2013-08-09 07:23:04
|
---|
4![Advances in Programming Languages APL4: JML — The Java Modeling Language David Aspinall (slides originally by Ian Stark) School of Informatics Advances in Programming Languages APL4: JML — The Java Modeling Language David Aspinall (slides originally by Ian Stark) School of Informatics](https://www.pdfsearch.io/img/558439c0ba15382570813644bc253eab.jpg) | Add to Reading ListSource URL: www.inf.ed.ac.ukLanguage: English - Date: 2010-01-20 18:21:25
|
---|
5![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 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](https://www.pdfsearch.io/img/9b99c4e8cd408c64d31e091d5c845490.jpg) | Add to Reading ListSource URL: www.p2r.seLanguage: English - Date: 2016-06-27 19:57:30
|
---|
6![](https://www.pdfsearch.io/img/541a23a150833443ce3d480f61a01d4c.jpg) |
Add to Reading ListSource URL: www.paasage.euLanguage: English - Date: 2016-05-24 11:38:20
|
---|
7![Spotting Automatically Cross-Language Relations Federico Tomassetti Giuseppe Rizzo Marco Torchiano Spotting Automatically Cross-Language Relations Federico Tomassetti Giuseppe Rizzo Marco Torchiano](https://www.pdfsearch.io/img/a2a016d4ee5cb3c467e6320478bb6990.jpg) | Add to Reading ListSource URL: giusepperizzo.github.ioLanguage: English - Date: 2015-12-06 12:53:25
|
---|
8![SPECIFIC TARGETED RESEARCH PROJECT INFORMATION SOCIETY TECHNOLOGIES FP6-ISTVIsualize all moDel drivEn programming VIDE SPECIFIC TARGETED RESEARCH PROJECT INFORMATION SOCIETY TECHNOLOGIES FP6-ISTVIsualize all moDel drivEn programming VIDE](https://www.pdfsearch.io/img/2c57830f020ad5d262f5b78e38a23743.jpg) | Add to Reading ListSource URL: vide.tnmsoft.deLanguage: English - Date: 2010-01-12 22:41:03
|
---|
9![CWMI RFP Final Submission Presentations (ADTF Denver meeting, 3/8/00) • • • CWMI RFP Final Submission Presentations (ADTF Denver meeting, 3/8/00) • • •](https://www.pdfsearch.io/img/c67e59c1654a0526a8fd3e91c1dfa273.jpg) | Add to Reading ListSource URL: www.cwmforum.orgLanguage: English - Date: 2015-11-30 16:22:06
|
---|
10![Reducing the Barriers to Writing Verified Specifications Todd W. Schiller Michael D. Ernst University of Washington Reducing the Barriers to Writing Verified Specifications Todd W. Schiller Michael D. Ernst University of Washington](https://www.pdfsearch.io/img/b703b2e93df80cc5a2c77278104ce6f0.jpg) | Add to Reading ListSource URL: homes.cs.washington.eduLanguage: English - Date: 2012-08-23 11:19:39
|
---|