1
מאת Subirana, Brian., Subirana, Brian., Bain, Malcolm.
יצא לאור 2005
תוכן הענינים: ...Contracts -- Intellectual Property Rights -- Consumer Protection -- Privacy -- Conclusions....
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
2
יצא לאור 2005
תוכן הענינים: ... Integration of Jester – The JUnit Test Tester -- Extreme Programming: The Genesys Experience -- Shared Code...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
3
יצא לאור 2014
תוכן הענינים: ... System Development -- Agile Software Development in Practice -- Part Agile Challenges and Contracting...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
4
יצא לאור 2014
תוכן הענינים: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
5
יצא לאור 2008
תוכן הענינים: ..., and Compliant Action -- Keynote -- Modelling Coordination and Compensation -- Tools and Applications...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
6
יצא לאור 2006
תוכן הענינים: ... Aspects Implement Contracts? -- Aspects-Classes Integration Testing Strategy: An Incremental Approach...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
7
יצא לאור 2007
תוכן הענינים: ...Graphical Composition of Grid Services -- A UML 2.0 Profile for Architecting B3G Applications...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
8
יצא לאור 2010
תוכן הענינים: ... of Embedded Software – Impact of ISO DIS 26262 in the Automotive Domain -- Enforcing Applicability of Real...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
9
יצא לאור 2008
תוכן הענינים: ... -- Applications and Rewriting of Omnigraphs – Exemplified in the Domain of MDD -- Program Transformation...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
10
יצא לאור 2005
תוכן הענינים: ...-Contracts in Defeasible Logic -- Merging and Aligning Ontologies in dl-Programs -- A Visual Environment...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
11
יצא לאור 2008
תוכן הענינים: ...Concepts and Approaches of Integrated Water Management -- Filling the Information Gap between Water...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
12
יצא לאור 2010
תוכן הענינים: ... Models and Compositional Models -- Bayesian Networks vs. Evidential Networks: An Application to Convoy...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
13
יצא לאור 2005
תוכן הענינים: ... Application -- A Comparative Study of Metamodel Integration and Interoperability in UML and Web Services...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
14
יצא לאור 2007
תוכן הענינים: ... -- Integration of Time Issues into Component-Based Applications -- Slicing of Component Behavior Specification...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
15
יצא לאור 2006
תוכן הענינים: ...Full Papers -- Defining and Checking Deployment Contracts for Software Components -- GLoo: A...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
16
מאת McArthur, Kevin., McArthur, Kevin.
יצא לאור 2008
תוכן הענינים: ...OOP and Patterns -- Abstract Classes, Interfaces, and Programming by Contract -- Static Variables...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
17
יצא לאור 2015
תוכן הענינים: ...Towards Smart Systems of Systems -- Automated Integration of Service-oriented Software Systems...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
18
יצא לאור 2010
תוכן הענינים: ... Contextual Reasoning in Ambient Intelligence -- Enhancing a Smart Space with Answer Set Programming...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
19
יצא לאור 2011
תוכן הענינים: ... Calculi -- Static Analysis Techniques for Session-Oriented Calculi -- Call-by-Contract for Service...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
20
יצא לאור 2007
תוכן הענינים: ...Invited Contributions -- Software Product Families: Towards Compositionality -- Contract-Driven...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני