検索結果 - integration design programming programming contracts https

1

Legal Programming Designing Legally Compliant RFID and Software Agent Architectures for Retail Processes and Beyond /

著者: Subirana, Brian., Subirana, Brian., Bain, Malcolm.
出版事項 2005

目次: “...Contracts -- Intellectual Property Rights -- Consumer Protection -- Privacy -- Conclusions....”
全文の入手

電子媒体 eBook

2

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...”
全文の入手

電子媒体 eBook

3

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

出版事項 2014

目次: “...Part Agile Development -- UX Design in Agile: A DSDM Case Study -- Agile Principles in the Embedded...”
全文の入手

電子媒体 eBook

4

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

出版事項 2006

目次: “... Aspects Implement Contracts? -- Aspects-Classes Integration Testing Strategy: An Incremental Approach...”
全文の入手

電子媒体 eBook

5

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

出版事項 2007

目次: “... Architecture -- Build, Configuration, Integration and Testing Tools for Large Software Projects: ETICS...”
全文の入手

電子媒体 eBook

6

Embedded Systems Design The ARTIST Roadmap for Research and Development /

出版事項 2005

目次: “... -- Tools for Programming, Code Generation, and Design -- Tools for Verification and Validation...”
全文の入手

電子媒体 eBook

7

Ada 2012 Rationale The Language -- The Standard Libraries /

著者: Barnes, John., Barnes, John.
出版事項 2013

目次: “...Introduction -- Contracts and Aspects -- Expressions -- Structure and Visibility -- Tasking...”
全文の入手

電子媒体 eBook

8

Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007, Proceedings /

出版事項 2007

目次: “... for e-Government Services: An Experience Report -- An Approach for QoS Contract Negotiation...”
全文の入手

電子媒体 eBook

9

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

出版事項 2006

目次: “... Different Contracts in Hierarchical Component-Based Systems -- Automated Pattern-Based Pointcut Generation...”
全文の入手

電子媒体 eBook

10

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

出版事項 2006

目次: “...Full Papers -- Defining and Checking Deployment Contracts for Software Components -- GLoo: A...”
全文の入手

電子媒体 eBook

11

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

出版事項 2011

目次: “... Service-Oriented Business Processes -- A Formal Support to Business and Architectural Design for Service...”
全文の入手

電子媒体 eBook

12

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

出版事項 2007

目次: “...-Oriented Design to Requirement -- Measuring and Characterizing Crosscutting in Aspect-Based Programs: Basic...”
全文の入手

電子媒体 eBook

13

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...”
全文の入手

電子媒体 eBook

14

Rules and Rule Markup Languages for the Semantic Web First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005, Proceedings /

出版事項 2005

目次: “...-Contracts in Defeasible Logic -- Merging and Aligning Ontologies in dl-Programs -- A Visual Environment...”
全文の入手

電子媒体 eBook

15

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...”
全文の入手

電子媒体 eBook

16

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

出版事項 2010

目次: “... Graphs -- Maintaining XML Data Integrity in Programs -- Improving Classification Performance with Focus...”
全文の入手

電子媒体 eBook

17

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...”
全文の入手

電子媒体 eBook

18

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

目次: “... Bytecode Programs -- Verifying Class Invariants in Concurrent Programs -- Automatic Program Repair...”
全文の入手

電子媒体 eBook

19

Accelerated C# 2010

著者: Nash, Trey., Nash, Trey.
出版事項 2010

目次: “... and Contracts -- Overloading Operators -- Exception Handling and Exception Safety -- Working with Strings...”
全文の入手

電子媒体 eBook

20

Accelerated C# 2008

著者: Nash, Trey., Nash, Trey.
出版事項 2007

目次: “... and Contracts -- Overloading Operators -- Exception Handling and Exception Safety -- Working with Strings...”
全文の入手

電子媒体 eBook

絞込み検索