检索结果 - integrated expression programming programming contracts https

1

Extreme Programming and Agile Processes in Software Engineering 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings /

出版 2005

书本目录: “... Integration of Jester – The JUnit Test Tester -- Extreme Programming: The Genesys Experience -- Shared Code...”
获取全文

电子电子书

2

Ada 2012 Rationale The Language -- The Standard Libraries /

由 Barnes, John., Barnes, John.
出版 2013

书本目录: “...Introduction -- Contracts and Aspects -- Expressions -- Structure and Visibility -- Tasking...”
获取全文

电子电子书

3

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

出版 2010

书本目录: “... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”
获取全文

电子电子书

4

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

出版 2008

书本目录: “... -- A Framework for Contract-Policy Matching Based on Symbolic Simulations for Securing Mobile Device...”
获取全文

电子电子书

5

Pro JSF and HTML5 Building Rich Internet Components /

由 Wadia, Zubin., Wadia, Zubin., Saleh, Hazem., Christensen, Allan.
出版 2013

主题: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
获取全文

电子电子书

6

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...

出版 2014

书本目录: “... Debugging -- An Expressive Semantics of Mocking -- Integration Testing in the Test Template Framework...”
获取全文

电子电子书

7

Accelerated C# 2008

由 Nash, Trey., Nash, Trey.
出版 2007

书本目录: “... and Contracts -- Overloading Operators -- Exception Handling and Exception Safety -- Working with Strings...”
获取全文

电子电子书

8

Accelerated C# 2010

由 Nash, Trey., Nash, Trey.
出版 2010

书本目录: “... and Contracts -- Overloading Operators -- Exception Handling and Exception Safety -- Working with Strings...”
获取全文

电子电子书

9

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

出版 2014

书本目录: “... Form -- Improving the Normalization of Weight Rules in Answer Set Programs -- Logical Foundations...”
获取全文

电子电子书

10

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

出版 2007

书本目录: “... Contracts from UML Class Diagrams -- Finding the Pattern You Need: The Design Pattern Intent Ontology...”
获取全文

电子电子书

11

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

出版 2014

书本目录: “... of Synchronous Distributed Applications -- Environment-Centric Contracts for Design of Cyber-Physical Systems...”
获取全文

电子电子书

12

Information Systems Development Asian Experiences /

出版 2011

书本目录: “... and Negative Examples on Object Modeling -- Part 2 IS/IT Project Management -- A Social Contract for University...”
获取全文

电子电子书

13

Applications of Graph Transformations with Industrial Relevance Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Paper...

出版 2008

书本目录: “... Visual Contracts -- Transforming Scene Graphs Using Triple Graph Grammars – A Practice Report -- Using...”
获取全文

电子电子书

14

The Semantic Web - ISWC 2008 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008, Proceedings /

出版 2008

书本目录: “... through Evolutionary Algorithms -- The Expressive Power of SPARQL -- Integrating Object-Oriented...”
获取全文

电子电子书

15

Conceptual Modeling 31st International Conference on Conceptual Modeling, Florence, Italy, October 15-18, 2012, Proceeding /

出版 2012

书本目录: “... -- Understandability and Cognitive Approaches -- Understanding Constraint Expressions in Large Conceptual Schemas...”
获取全文

电子电子书

16

COTS-Based Software Systems 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005, Proceedings /

出版 2005

书本目录: “...: Getting a Good Contract -- Integration and Interoperability -- Specifying Interaction Constraints...”
获取全文

电子电子书

17

Digital Rights Management Technologies, Issues, Challenges and Systems /

出版 2006

书本目录: “... of Digital Movies -- TIVA: Trusted Integrity Verification Architecture -- Legal and Related Issues...”
获取全文

电子电子书

18

Bioinformatics and Biomedical Engineering Third International Conference, IWBBIO 2015, Granada, Spain, April 15-17, 2015. Proceedings, Part I /

出版 2015

书本目录: “... programming model for genome rearrangement problems -- Statistical integration of p-values for enhancing...”
获取全文

电子电子书

19

Advances in Visual Computing First International Symposium, ISVC 2005, Lake Tahoe, NV, USA, December 5-7, 2005, Proceedings /

出版 2005

书本目录: “... -- Emotional Expression in Virtual Agents Through Body Language -- Visual Tracking for Seamless 3D Interactions...”
获取全文

电子电子书

20

Advances in Artificial Intelligence - IBERAMIA 2010 12th Ibero-American Conference on AI, Bahía Blanca, Argentina, November 1-5, 2010, Proceedings /

出版 2010

书本目录: “... Algorithm with Path Relinking for the p-Median Problem -- Information, Integration and Extraction -- Using...”
获取全文

电子电子书

缩小搜索