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

Source URL: icaps16.icaps-conference.org

• Software engineering
• Computing
• Software requirements
• Modeling languages
• Systems engineering
• Systems analysis
• Enterprise modelling
• KAOS
• Planning Domain Definition Language
• I*
• Diagram
• Use case

Towards a Web-based Analyzer to improve the teaching of Alloy Alcino Cunha, Nuno Macedo José Pereira, Bruno Carvalho, Ricardo Silva

Source URL: alloytools.org

• Formal methods
• Computing
• Alloy
• Massachusetts Institute of Technology
• Z notation
• Software engineering
• Modeling languages
• Object Process Methodology
• Economic model

SMT-Style Program Analysis SMT-Style Program Analysis with Value-based Refinements Vijay D’Silva

Source URL: www.lix.polytechnique.fr

• Formal methods
• Algebraic structures
• Abstract interpretation
• Refinement
• Lattice
• Universal quantification
• Mathematics
• Computing
• Theoretical computer science

Kickers et Septa de SOLEIL pour le “Top Up” P. Lebasque, R. Ben El Fekih, M. Bol, J. Da Silva Castro, A. Hardy, C. Herbeaux, J.-P. Lavieville, A. Loulergue, J.-L. Marlats, D. Muller, G. Renaud, J.-P. Ricaud (Synchrot

Source URL: journees.accelerateurs.fr

New Frontiers in Memory Studies www.memorystudies-frankfurt.com Shihan de Silva (University of London)

Source URL: www.memorystudies-frankfurt.com

AGENDA Joint Meeting of City Council and Successor Agency to the Redevelopment Agency of the City of Orange Cove Victor P. Lopez, Mayor Diana Guerra Silva, Mayor Pro Tem Gilbert Garcia, Council Member

Source URL: cityoforangecove.com

Repetir ou progredir? Uma análise da repetência nas escolas públicas de Minas Gerais Juliana de Lucena Ruas Riani Fundação João Pinheiro Vania Candida da Silva

Source URL: www.pesquisa.caedufjf.net

Denilson da Silva Araújo

Source URL: www.abphe.org.br

Proceedings of the 11th Space Syntax Symposium #52 HOW EXCLUSIVE DO WE WANT TO BE? Exploring the University Realm in the Contemporary Urban Territory LUISA CANNAS DA SILVA

Source URL: www.11ssslisbon.pt

AI-based Playtesting of Contemporary Board Games Fernando de Mesentier Silva Scott Lee New York University

Source URL: julian.togelius.com