On Quantitative Software Verification Marta Kwiatkowska Oxford University Computing Laboratory, Parks Road, Oxford, OX1 3QD Abstract: Software verification has made great progress in recent years, resulting in several to

Source URL: qav.comlab.ox.ac.uk

• Formal methods
• Model checkers
• Metaphysics
• Model checking
• Theoretical computer science
• PRISM model checker
• Computing
• Refinement
• Abstraction
• Markov chain
• Stochastic

Progress Report of the Max Planck Institute for Software Systems (MPI-SWS) May 2011 – October 2013 Contents

Source URL: www.mpi-sws.org

• Max Planck Institute for Software Systems
• Security engineering
• Computing
• Max Planck Institute for Informatics
• Systems engineering
• Max Planck Society
• Information system
• Metaphysics
• MPI
• Saarland University
• Software system
• Computer security

ALGORITHMS AND SOFTWARE FOR CONVEX MIXED INTEGER NONLINEAR PROGRAMS PIERRE BONAMI∗ , MUSTAFA KILINC ¸ † , AND JEFF LINDEROTH‡ Abstract. This paper provides a survey of recent progress and software for solving conv

Source URL: homepages.cae.wisc.edu

Progress Software Corporation Case Study “Progress partners and customers realize that mobility is a critical part of a modern enterprise business application. By integrating capabilities of Tiggzi into the Progress®

Source URL: appery.io

• Computing
• Data management
• Software
• 4GL
• OpenEdge Advanced Business Language
• Cloud infrastructure
• Progress Software
• Cloud computing
• Corticon
• Software as a service
• ABL
• Draft:Roundtable TSMS

Progress Report of the Max Planck Institute for Software Systems (MPI-SWS) November 2013 – July 2015 Contents

Source URL: www.mpi-sws.org

• Max Planck Institute for Software Systems
• Max Planck Institute for Informatics
• Saarland University
• Max Planck Society
• Information system
• MPI
• Social computing
• Computer science
• Electromagnetism
• Metaphysics
• Electrical engineering
• Message Passing Interface

C9 Case Study I Progress Software Increasing Sales Performance with Visibility into and Analysis of Change Progress Uses C9 to Focus on Critical Deals

Source URL: www.c9inc.com

White paper progress Software Engineering Challenges and Trends for supporting Innovative Services and Applications Dr. Constantinos Vassilakis Senior Researcher UBITECH

Source URL: cf2015.holacloud.eu

Impact of Software Engineering Research on Modern Programming Languages Report on a work in progress ! Barbara G. Ryder and Mary Lou Soffa

Source URL: www.sigsoft.org

User Guide Customer Self Service (CSS) Web Application © Progress Software Corporation. All rights reserved.

Source URL: secure.progress.com

Rethinking Scala Macros Work in progress, not available yet Eugene Burmako École Polytechnique Fédérale de Lausanne http://scalamacros.org/

Source URL: scalamacros.org

• Software
• Computing
• Functional languages
• Object-oriented programming languages
• Macro
• Source code
• Concurrent programming languages
• Programming paradigms
• Palladium
• Scala
• Make
• Metaprogramming