Requirements Engineering: Foundation for Software Quality
23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27 – March 2, 2017, Proceedings
Page
%P
53,415 Result(s)
-
Article
Pseudopolynomial iterative algorithm to solve total-payoff games and min-cost reachability games
Quantitative games are two-player zero-sum games played on directed weighted graphs. Total-payoff games—that can be seen as a refinement of the well-studied mean-payoff games—are the variant where the payoff o...
-
Article
Special issue: Selected papers from the 26th International Conference on Concurrency Theory (CONCUR 2015)
-
Article
A core calculus for dynamic delta-oriented programming
Delta-oriented programming (DOP) is a flexible approach to the implementation of software product lines (SPLs). Delta-oriented SPLs consist of a code base (a set of delta modules encapsulating changes to objec...
-
Article
Descending chains and narrowing on template abstract domains
A static analysis by abstract interpretation is typically composed of an ascending phase followed by a descending one. The descending phase is used to improve the precision of the analysis after that a post-fi...
-
Book and Conference Proceedings
-
Book and Conference Proceedings
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017, Proceedings
-
Book and Conference Proceedings
NASA Formal Methods
9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings
-
Book and Conference Proceedings
Implementation and Application of Automata
22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings
-
Book and Conference Proceedings
Membrane Computing
17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers
-
Book and Conference Proceedings
Reliable Software Technologies – Ada-Europe 2017
22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings
-
Book and Conference Proceedings
Automated Deduction – CADE 26
26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings
-
Book and Conference Proceedings
Programming Languages and Systems
26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings
-
Book and Conference Proceedings
Descriptional Complexity of Formal Systems
19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings
-
Book and Conference Proceedings
Security of Industrial Control Systems and Cyber-Physical Systems
Second International Workshop, CyberICPS 2016, Heraklion, Crete, Greece, September 26-30, 2016, Revised Selected Papers
-
Book
Engineering Trustworthy Software Systems
Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
-
Book
-
Book and Conference Proceedings
Formal Techniques for Distributed Objects, Components, and Systems
37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings
-
Book and Conference Proceedings
Application and Theory of Petri Nets and Concurrency
38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings
-
Book and Conference Proceedings
Intelligent Computer Mathematics
10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
-
Book
