Rezultati - integrating transformation programming program contracts https

Poišči alternative:
integrating transformation » integrating transportation , interactions transformation , integrating information
transformation programming » transformations programming , transformation programme , transformation programmed
programming program » programming programmed , programming problem , programming problems
program contracts » programme contract , program abstracts , program controls
https » http

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...

Izdano 2013

Kazalo: “... Verification for Weak Memory via Program Transformation -- Checking and Enforcing Robustness against TSO...”
Polni tekst

Elektronski eKnjiga

Agile Processes in Software Engineering and Extreme Programming 15th International Conference, XP 2014, Rome, Italy, May 26-30, 2014, Proceedings /

Izdano 2014

Kazalo: “... System Development -- Agile Software Development in Practice -- Part Agile Challenges and Contracting...”
Polni tekst

Elektronski eKnjiga

Applications of Graph Transformations with Industrial Relevance Third International Symposium...

Izdano 2008

Kazalo: “... Visual Contracts -- Transforming Scene Graphs Using Triple Graph Grammars – A Practice Report -- Using...”
Polni tekst

Elektronski eKnjiga

Rapid Integration of Software Engineering Techniques Second International Workshop, RISE 2005...

Izdano 2006

Kazalo: “... Aspects Implement Contracts? -- Aspects-Classes Integration Testing Strategy: An Incremental Approach...”
Polni tekst

Elektronski eKnjiga

Rapid Integration of Software Engineering Techniques Third International Workshop, RISE 2006...

Izdano 2007

Kazalo: “... Architecture -- Build, Configuration, Integration and Testing Tools for Large Software Projects: ETICS...”
Polni tekst

Elektronski eKnjiga

Software Composition 5th International Symposium, SC 2006, Vienna, Austria, March 25-26, 2006, Revised Papers /

Izdano 2006

Kazalo: “... Different Contracts in Hierarchical Component-Based Systems -- Automated Pattern-Based Pointcut Generation...”
Polni tekst

Elektronski eKnjiga

Component-Based Software Engineering 9th International Symposium, CBSE 2006, Västeras, Sweden, June 29 - July 1, 2006, Proceedings /

Izdano 2006

Kazalo: “...Full Papers -- Defining and Checking Deployment Contracts for Software Components -- GLoo: A...”
Polni tekst

Elektronski eKnjiga

Rigorous Software Engineering for Service-Oriented Systems Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing /

Izdano 2011

Kazalo: “... Calculi -- Static Analysis Techniques for Session-Oriented Calculi -- Call-by-Contract for Service...”
Polni tekst

Elektronski eKnjiga

Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007...

Izdano 2007

Kazalo: “...Invited Contributions -- Software Product Families: Towards Compositionality -- Contract-Driven...”
Polni tekst

Elektronski eKnjiga

Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings /

Izdano 2013

Kazalo: “... -- Using Contracts to Guide the Search-Based Verification of Concurrent Programs -- Planning Global...”
Polni tekst

Elektronski eKnjiga

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part...

Izdano 2010

Kazalo: “... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”
Polni tekst

Elektronski eKnjiga

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Izdano 2008

Kazalo: “... with Formal Analysis, Transformation and Dynamicity -- Safety and Response-Time Analysis of an Automotive...”
Polni tekst

Elektronski eKnjiga

Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Izdano 2014

Kazalo: “... Bytecode Programs -- Verifying Class Invariants in Concurrent Programs -- Automatic Program Repair...”
Polni tekst

Elektronski eKnjiga

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2...

Izdano 2010

Kazalo: “... Graphs -- Maintaining XML Data Integrity in Programs -- Improving Classification Performance with Focus...”
Polni tekst

Elektronski eKnjiga

Semantic Web Rules International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010, Proceedings /

Izdano 2010

Kazalo: “... Contextual Reasoning in Ambient Intelligence -- Enhancing a Smart Space with Answer Set Programming...”
Polni tekst

Elektronski eKnjiga

Logics in Artificial Intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings /

Izdano 2014

Kazalo: “... Independence -- Non-Classical Logics Finitary S5-Theories -- Efficient Program Transformers for Translating LCC...”
Polni tekst

Elektronski eKnjiga

Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings /

Izdano 2014

Kazalo: “... -- An Evaluation of the Effectiveness of the Atomic Section Model -- Model Transformation 1 -- Parsing in a Broad...”
Polni tekst

Elektronski eKnjiga

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21,...

Izdano 2010

Kazalo: “... for Embedded Systems: The Octopus Toolset -- Contract-Based Slicing -- Worst-Case Traversal Time (WCTT...”
Polni tekst

Elektronski eKnjiga

Model Driven Engineering Languages and Systems 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings /

Izdano 2007

Kazalo: “...Model Transformation -- Bidirectional Model Transformations in QVT: Semantic Issues and Open...”
Polni tekst

Elektronski eKnjiga

Operator Theory and Indefinite Inner Product Spaces Presented on the Occasion of the Retirement of Heinz Langer in the Colloquium on Operator Theory, Vienna, March 2004 /

Izdano 2006

Kazalo: “...-functions of Quasi-selfadjoint Contractions -- A Class of Abstract Boundary Value Problems with Locally...”
Polni tekst

Elektronski eKnjiga

Zoži iskanje