Результаты поиска - integration revision programming programming case https

1

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Опубликовано 2008

Оглавление: “... Knowledge Base System for an Integration of Logic Programming and Classical Logic -- SMS and ASP: Hype...”
Полный текст

Электронный ресурс eКнига

2

Declarative Programming for Knowledge Management 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005. Revised...

Опубликовано 2006

Оглавление: “... Case Studies -- Railway Scheduling with Declarative Constraint Programming -- User Profiles...”
Полный текст

Электронный ресурс eКнига

3

Object-Oriented Analysis, Design and Implementation An Integrated Approach /

по Dathan, Brahma., Dathan, Brahma., Ramnath, Sarnath.
Опубликовано 2015

Оглавление: “... Concepts -- Introduction -- Basics of Object-Oriented Programming -- Relationships Between Classes...”
Полный текст

Электронный ресурс eКнига

4

Integrated Formal Methods 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings /

Опубликовано 2012

Предметы: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Полный текст

Электронный ресурс eКнига

5

An Integrated Approach to Software Engineering

по Jalote, Pankaj., Jalote, Pankaj.
Опубликовано 2005

Оглавление: “... -- Programming Principles and Guidelines -- Testing Methodologies -- Defect Analysis and Prevention....”
Полный текст

Электронный ресурс eКнига

6

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

Опубликовано 2006

Оглавление: “... -- A Technique to Represent Product Line Core Assets in MDA/PIM for Automation -- Modeling Safety Case...”
Полный текст

Электронный ресурс eКнига

7

Towards the Internet of Services: The THESEUS Research Program

Опубликовано 2014

Оглавление: “... Amazon Mechanical Turk in ImageCLEF -- Part III – Use Cases -- The THESEUS Use Cases -- Domain-Adaptive...”
Полный текст

Электронный ресурс eКнига

8

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd...

Опубликовано 2013

Оглавление: “... Computer with Self Power-Managed Components -- Case Studies of Logical Computation on Stochastic Bit...”
Полный текст

Электронный ресурс eКнига

9

Principles and Practice of Constraint Programing-CP 2013 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings /

Опубликовано 2013

Оглавление: “... String Constraints: The Case for Constraint Programming -- Blowing Holes in Various Aspects...”
Полный текст

Электронный ресурс eКнига

10

Trustworthy Global Computing Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers /

Опубликовано 2007

Оглавление: “...-Behavioral Types, Distributed Services, and Resources -- Integration of a Security Type System into a Program...”
Полный текст

Электронный ресурс eКнига

11

Fundamentals of Software Engineering Fourth International IPM Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers /

Опубликовано 2012

Предметы: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Полный текст

Электронный ресурс eКнига

12

VLSI-SoC: Design Methodologies for SoC and SiP 16th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2008, Rhodes Island, Greece, October 13-15, 2008, Revised...

Опубликовано 2010

Оглавление: “...Physical Design Issues in 3-D Integrated Technologies -- Universal Methodology to Handle...”
Полный текст

Электронный ресурс eКнига

13

Testing Techniques in Software Engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures /

Опубликовано 2010

Оглавление: “... and Practice -- Automatic Test-Case Generation -- Testing a Software Product Line -- Parameterized Unit Testing...”
Полный текст

Электронный ресурс eКнига

14

Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers /

Опубликовано 2010

Оглавление: “... Systems -- Program Logics for Sequential Higher-Order Control -- Modular Schedulability Analysis...”
Полный текст

Электронный ресурс eКнига

15

Formal Verification of Object-Oriented Software International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers /

Опубликовано 2012

Оглавление: “...: A Fredhopper Case Study.-Modeling and Analyzing the Interaction of C and C++ Strings -- Integration...”
Полный текст

Электронный ресурс eКнига

16

Agent-Oriented Software Engineering XI 11th International Workshop, AOSE XI, Toronto, Canada, May 10-11, 2010, Revised Selected Papers /

Опубликовано 2011

Оглавление: “....- Analyzing Contract Robustness through a Model of Commitments.- A Case for New Directions in Agent-Oriented...”
Полный текст

Электронный ресурс eКнига

17

Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers /

Опубликовано 2014

Оглавление: “...Classifying and Solving Horn Clauses for Verification -- Static Analysis of Programs with Imprecise...”
Полный текст

Электронный ресурс eКнига

18

Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions /

Опубликовано 2008

Оглавление: “...# Programming System: Challenges and Directions -- Integrating Static Checking and Interactive Verification...”
Полный текст

Электронный ресурс eКнига

19

Software Engineering and Middleware 4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004 Revised Selected Papers /

Опубликовано 2005

Оглавление: “... -- Integration of a Text Search Engine with a Java Messaging Service -- A Common Conceptual Basis for Analyzing...”
Полный текст

Электронный ресурс eКнига

20

Models in Software Engineering Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers /

Опубликовано 2007

Оглавление: “... Features in Aspect-Based Product Lines with Use Case Slices: An Exploratory Case Study -- Join Point...”
Полный текст

Электронный ресурс eКнига

Сужение результатов поиска