Hakutulokset - programs validation https function structure https

1

Validated Designs for Object-oriented Systems

Tekijä Fitzgerald, John., Fitzgerald, John., Larsen, Peter Gorm., Mukherjee, Paul., Plat, Nico., Verhoef, Marcel.
Julkaistu 2005

Sisällysluettelo: “... -- Modelling Object-oriented Systems in VDM++ -- Defining Data -- Defining Functionality -- Modelling Unordered...”
Hae kokoteksti

Elektroninen E-kirja

2

Genetic Programming 9th European Conference, EuroGP 2006, Budapest, Hungary, April 10-12, 2006. Proceedings /

Julkaistu 2006

Sisällysluettelo: “... Answers Using Genetic Programming -- Blindbuilder: A New Encoding to Evolve Lego-Like Structures...”
Hae kokoteksti

Elektroninen E-kirja

3

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Julkaistu 2005

Sisällysluettelo: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Hae kokoteksti

Elektroninen E-kirja

4

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

Julkaistu 2014

Sisällysluettelo: “...: Rethinking the Lean Concept of ‘Waste’ in Modern Software Development -- Examining the Structure of Lean...”
Hae kokoteksti

Elektroninen E-kirja

5

Data Warehousing and Knowledge Discovery 12th International Conference, DaWaK 2010, Bilbao, Spain, August 30 - September 2, 2010, Proceedings /

Julkaistu 2010

Sisällysluettelo: “...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...”
Hae kokoteksti

Elektroninen E-kirja

6

Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 /

Julkaistu 2012

Sisällysluettelo: “... -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component...”
Hae kokoteksti

Elektroninen E-kirja

7

Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers /

Julkaistu 2010

Aiheet: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Hae kokoteksti

Elektroninen E-kirja

8

Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings /

Julkaistu 2008

Sisällysluettelo: “... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”
Hae kokoteksti

Elektroninen E-kirja

9

Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers /

Julkaistu 2010

Sisällysluettelo: “... -- Fundamental Concepts for the Structuring of Functionality into Modular Parts....”
Hae kokoteksti

Elektroninen E-kirja

10

Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings /

Julkaistu 2015

Sisällysluettelo: “... Generation for Concurrent Systems Using Event Structures -- Fast Model-Based Fault Localisation with Test...”
Hae kokoteksti

Elektroninen E-kirja

11

Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings /

Julkaistu 2008

Sisällysluettelo: “... Event-Based Fairness Enhanced Systems -- Modelling and Proof of a Tree-Structured File System in Event-B...”
Hae kokoteksti

Elektroninen E-kirja

12

Intelligent Computing, Networking, and Informatics Proceedings of the International Conference on Advanced Computing, Networking, and Informatics, India, June 2013 /

Julkaistu 2014

Sisällysluettelo: “... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”
Hae kokoteksti

Elektroninen E-kirja

13

Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings /

Julkaistu 2005

Sisällysluettelo: “... for the Validation of Numerical Programs -- Invited Talk -- The Verifying Compiler, a Grand Challenge for Computing...”
Hae kokoteksti

Elektroninen E-kirja

14

Reliable Implementation of Real Number Algorithms: Theory and Practice International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers /

Julkaistu 2008

Sisällysluettelo: “...Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA...”
Hae kokoteksti

Elektroninen E-kirja

15

Satellite Events at the MoDELS 2005 Conference MoDELS 2005 International Workshop OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, Nfc, MDD, WUsCaM, Montego Bay, Jamaica, October 2...

Julkaistu 2006

Sisällysluettelo: “... and Validation – MoDeVa -- Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models...”
Hae kokoteksti

Elektroninen E-kirja

16

High Performance Embedded Architectures and Compilers Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008, Proceedings /

Julkaistu 2008

Sisällysluettelo: “...Invited Program -- Supercomputing for the Future, Supercomputing from the Past (Keynote) -- I...”
Hae kokoteksti

Elektroninen E-kirja

17

Advances in Artificial Intelligence - SBIA 2008 19th Brazilian Symposium on Artificial Intelligence, Salvador, Brazil, October 26-30, 2008 /

Julkaistu 2008

Sisällysluettelo: “... Function -- A Robust Methodology for Comparing Performances of Clustering Validity Criteria -- Natural...”
Hae kokoteksti

Elektroninen E-kirja

18

Software Architecture First European Conference, ECSA 2007, Madrid, Spain, September 24-26, 2007, Proceedings /

Julkaistu 2007

Sisällysluettelo: “... of Software Architectures -- Formal Design of Structural and Dynamic Features of Publish/Subscribe...”
Hae kokoteksti

Elektroninen E-kirja

19

Enterprise Information Systems V

Julkaistu 2005

Sisällysluettelo: “... Integration -- On Operations to Conform Object-Oriented Schemas -- ERP Implementation, Cross-Functionality...”
Hae kokoteksti

Elektroninen E-kirja

20

Transactions on High-Performance Embedded Architectures and Compilers IV

Julkaistu 2011

Sisällysluettelo: “... Time-Varying Program Behavior Using Phase Complexity Surfaces -- Compiler Directed Issue Queue Energy...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua