Resultados da pesquisa - integrating specification programming programming contracts https

Pesquisas alternativas:
integrating specification » integrating verification , alternating specifications , integration verification
specification programming » verification programming , identification programming , specification program
programming programming » programming programmed , programming program
programming contracts » programming contract , programming constructs , programming constraints
https » http

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

Por Subirana, Brian., Subirana, Brian., Bain, Malcolm.
Publicado em 2005

Sumário: “...Contracts -- Intellectual Property Rights -- Consumer Protection -- Privacy -- Conclusions....”
Obter o texto integral

Recurso Electrónico livro electrónico

Programming Languages and Systems 11th International Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013, Proceedings /

Publicado em 2013

Sumário: “... Theories.-Bi-abduction with Pure Properties for Specification Inference -- Laws of Programming...”
Obter o texto integral

Recurso Electrónico livro electrónico

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...

Publicado em 2013

Sumário: “... and Verification of GPU Kernels -- Verifying Concurrent Programs against Sequential Specifications...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2005

Sumário: “... Features -- The Drawing Carousel: A Pair Programming Experience -- Agile Development with Domain Specific...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2014

Sumário: “... System Development -- Agile Software Development in Practice -- Part Agile Challenges and Contracting...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2006

Sumário: “... Aspects Implement Contracts? -- Aspects-Classes Integration Testing Strategy: An Incremental Approach...”
Obter o texto integral

Recurso Electrónico livro electrónico

Integrated Water Management Practical Experiences and Case Studies /

Publicado em 2008

Sumário: “...Concepts and Approaches of Integrated Water Management -- Filling the Information Gap between Water...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2007

Sumário: “... -- Integration of Time Issues into Component-Based Applications -- Slicing of Component Behavior Specification...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2006

Sumário: “...Full Papers -- Defining and Checking Deployment Contracts for Software Components -- GLoo: A...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2011

Sumário: “... Calculi -- Static Analysis Techniques for Session-Oriented Calculi -- Call-by-Contract for Service...”
Obter o texto integral

Recurso Electrónico livro electrónico

Component-Based Software Testing with UML

Por Gross, Hans-Gerhard., Gross, Hans-Gerhard.
Publicado em 2005

Sumário: “...-in Contract Testing -- Built-in Contract Testing and Implementation Technologies -- Reuse and Related...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2007

Sumário: “...Invited Contributions -- Software Product Families: Towards Compositionality -- Contract-Driven...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2010

Sumário: “... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2008

Sumário: “...Invited Talks -- Architecture Based Specification and Verification of Embedded Software Systems...”
Obter o texto integral

Recurso Electrónico livro electrónico

Semantic Web Rules International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010, Proceedings /

Publicado em 2010

Sumário: “... Contextual Reasoning in Ambient Intelligence -- Enhancing a Smart Space with Answer Set Programming...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2014

Sumário: “... Requirements -- Semantically Configurable Analysis of Scenario-Based Specifications -- Formal Verification...”
Obter o texto integral

Recurso Electrónico livro electrónico

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Publicado em 2014

Sumário: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2007

Sumário: “... Constraints -- Guided Development with Multiple Domain-Specific Languages -- Model-Driven, Network-Context...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2014

Sumário: “... Form -- Improving the Normalization of Weight Rules in Answer Set Programs -- Logical Foundations...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2014

Sumário: “... Specifications -- Formalizing Execution Semantics of UML Profiles with fUML Models -- MDE: Past, Present...”
Obter o texto integral

Recurso Electrónico livro electrónico

Refinar a Pesquisa