Search Results - integration section programming programming cases https

Search alternatives:
programming programming » programming programmed , programming program
integration section » integration session , integration action , integration setting
section programming » sector programming , session programming , action programming
programming cases » programming case , programming based , programming courses
cases https » atlases https , spaces https , nurses https

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

Published 2008

Table of Contents: “... Knowledge Base System for an Integration of Logic Programming and Classical Logic -- SMS and ASP: Hype...”
View full text

Electronic eBook

An Integrated Approach to Software Engineering

by Jalote, Pankaj., Jalote, Pankaj.
Published 2005

Table of Contents: “... -- Programming Principles and Guidelines -- Testing Methodologies -- Defect Analysis and Prevention....”
View full text

Electronic eBook

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

Published 2014

Table of Contents: “... to Support Continuous Integration: A Multiple Case Study -- Comparing a Hybrid Testing Process with Scripted...”
View full text

Electronic eBook

Textpattern Solutions PHP-Based Content Management Made Easy /

by Lindley, Cody., Lindley, Cody., Potts, Kevin., Sable, Robert., Smith, Roderick., Fredborg, Mary.
Published 2007

Table of Contents: “... -- Creating The Content:Categories and Articles -- Customizing The Presentation: Sections, Pages, Forms...”
View full text

Electronic eBook

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

Published 2012

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text

Electronic eBook

Case Management and Care Coordination Supporting Children and Families to Optimal Outcomes /

by Treadwell, Janet., Treadwell, Janet., Perez, Rebecca., Stubbs, Debbie., McAllister, Jeanne W., Stern, Susan., Buzi, Ruth.
Published 2015

Table of Contents: “... coordination -- Essential Skills -- Integrated Case Management -- Legislative and Policy Movement -- Section 2...”
View full text

Electronic eBook

Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings /

Published 2013

Table of Contents: “... -- Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata -- Integrating Policy...”
View full text

Electronic eBook

Conceptual Modeling - ER 2008 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008, Proceedings /

Published 2008

Table of Contents: “...-temporal Data Modelling Languages -- System Design -- Integrated Model-Driven Development of Goal-Oriented...”
View full text

Electronic eBook

Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies /

by Reisig, Wolfgang., Reisig, Wolfgang.
Published 2013

Table of Contents: “... Special Case: Elementary System Nets -- Chap. 4 Sequential and Distributed Runs -- Chap. 5 Scenarios...”
View full text

Electronic eBook

Systems, Software and Services Process Improvement 17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010. Proceedings /

Published 2010

Table of Contents: “... Processes: A Case Study on IT Service Support -- Approach to Identify Internal Best Practices in a Software...”
View full text

Electronic eBook

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 /

Published 2008

Table of Contents: “...# Programming System: Challenges and Directions -- Integrating Static Checking and Interactive Verification...”
View full text

Electronic eBook

Specification of Software Systems

by Alagar, V.S., Alagar, V.S., Periyasamy, K.
Published 2011

Subjects: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

Model Driven Engineering Languages and Systems 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008, Proceedings /

Published 2008

Table of Contents: “... for Problem Frames -- Visualization of Use Cases through Automatically Generated Activity Diagrams...”
View full text

Electronic eBook

Conservation in the 21st Century: Gorillas as a Case Study

Published 2008

Table of Contents: “... Sustainability in African Gorilla Conservation -- An Integrated Geomatics Research Program for Mountain Gorilla...”
View full text

Electronic eBook

Model-Driven Development of Reliable Automotive Services Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers /

Published 2008

Table of Contents: “...Modeling Techniques and Infrastructures -- The Case for Modeling Security, Privacy, Usability...”
View full text

Electronic eBook

Network and Parallel Computing 9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 6-8, 2012, Proceedings /

Published 2012

Table of Contents: “... Garner Algorithm for Chinese Remainder Theorem -- dMPI: Facilitating Debugging of MPI Programs via...”
View full text

Electronic eBook

Diagrammatic Representation and Inference 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008, Proceedings /

Published 2008

Table of Contents: “... -- Visual Programming with Interaction Nets -- Theoretical Aspects -- Spider Diagrams of Order and a...”
View full text

Electronic eBook

Transactions on Petri Nets and Other Models of Concurrency I

Published 2008

Table of Contents: “... Process Languages Using Process Mining -- Net Components for the Integration of Process Mining into Agent...”
View full text

Electronic eBook

Formal Methods for Industrial Critical Systems 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers /

Published 2008

Table of Contents: “... by Translating Object-Z to SMV -- Introducing Time in an Industrial Application of Model-Checking -- Integration...”
View full text

Electronic eBook

Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /

Published 2008

Table of Contents: “... -- UseCase-Wise Development: Retrenchment for Event-B -- Towards Modelling Obligations in Event-B -- A...”
View full text

Electronic eBook

Narrow Search