Using GORE method for Requirement Engineering of Planning - Hard systems - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2016-06-09 08:09:34 Software engineering Computing Software requirements Modeling languages Systems engineering Systems analysis Enterprise modelling KAOS Planning Domain Definition Language I* Diagram Use case		Using GORE method for Requirement Engineering of Planning & Scheduling Javier Martnez Silva Department of Mechatronics Engineering University of S˜ao Paulo, S˜ao Paulo, Brazil, Professor Morais, 2231 Add to Reading List Source URL: icaps16.icaps-conference.org Download Document from Source Website File Size: 250,57 KB Share Document on Facebook

	Numerical Issues and Inﬂuences in the Design of Algebraic Modeling Languages for Optimization Robert Fourer Northwestern University David M. Gay AMPL Optimization LLC DocID: 1vl9g - View Document
	On Programming Languages for Probabilistic Modeling a dissertation presented by Daniel E. Huang DocID: 1uYWC - View Document
	Formal Verification of Code Generators for Modeling Languages (Invited Talk) Xavier Leroy Inria, Paris, France DocID: 1tNbI - View Document
	First Workshop On the Globalization of Modeling Languages (GEMOC 2013) ? Benoit Combemale1 and Julien De Antoni2 and Robert B. France3 and Frédéric Boulanger4 and Sébastien Mosser5 and Marc Pantel6 and Bernhard Rumpe7 DocID: 1tc9j - View Document
	Higher-Order Rewriting of Model-to-Text Templates for Integrating Domain-specific Modeling Languages Bernhard Hoisl1,2 , Stefan Sobernig1 , and Mark Strembeck1,2 1 Institute for Information Systems and New Media, WU Vie DocID: 1sYKw - View Document