Hakutulokset - internal methods processing programs components https

Tarkoititko:
processing programs » processing programmed , processing problems , processing products
programs components » program components , programmers component , process components
methods processing » methods preprocessing , methods proceedings , methods processes
internal methods » integral methods , general methods
components https » components cots , components bottom , components citrus

Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures /

Julkaistu 2007

Sisällysluettelo: “...Testing -- Model-Based Testing of Environmental Conformance of Components -- Exhaustive Testing...”
Hae kokoteksti

Elektroninen E-kirja

Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures /

Julkaistu 2008

Sisällysluettelo: “... -- The GridCOMP Project -- Active Objects and Distributed Components: Theory and Implementation -- The SELFMAN...”
Hae kokoteksti

Elektroninen E-kirja

Formal Methods for Components and Objects 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures /

Julkaistu 2006

Sisällysluettelo: “...++ Programs -- Algebraic Methods -- Beyond Bisimulation: The “up-to” Techniques -- Separation Results Via...”
Hae kokoteksti

Elektroninen E-kirja

Independent Component Analysis and Signal Separation 7th International Conference, ICA 2007, London, UK, September 9-12, 2007, Proceedings /

Julkaistu 2007

Sisällysluettelo: “...Theory -- Algorithms -- Sparse Methods -- Speech and Audio Applications -- Biomedical Applications...”
Hae kokoteksti

Elektroninen E-kirja

Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers /

Julkaistu 2014

Sisällysluettelo: “... of Hybrid CSP Processes -- A proof-carrying code approach to certificate auction mechanisms -- Towards...”
Hae kokoteksti

Elektroninen E-kirja

Reuse of Off-the-Shelf Components 9th International Conference on Software Reuse, ICSR 2006, Torino, Italy, June 12-15, 2006, Proceedings /

Julkaistu 2006

Sisällysluettelo: “... Components Selection -- A State-of-the-Practice Survey of Off-the-Shelf Component-Based Development Processes...”
Hae kokoteksti

Elektroninen E-kirja

Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers /

Julkaistu 2013

Sisällysluettelo: “... oriented architectures, business processes, and cloud computing -- Design and verification methods...”
Hae kokoteksti

Elektroninen E-kirja

Agile Processes in Software Engineering and Extreme Programming 11th International Conference, XP 2010, Trondheim, Norway, June 1-4, 2010, Proceedings /

Julkaistu 2010

Sisällysluettelo: “... in Pair Programming -- Continuous Selective Testing -- Applying SCRUM in an OSS Development Process...”
Hae kokoteksti

Elektroninen E-kirja

Integrated Formal Methods 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings /

Julkaistu 2005

Sisällysluettelo: “..., Compositional, and On-The-Fly Verification Methods -- Chunks: Component Verification in CSP ? B -- Session...”
Hae kokoteksti

Elektroninen E-kirja

Component-Based Software Testing with UML

Tekijä Gross, Hans-Gerhard., Gross, Hans-Gerhard.
Julkaistu 2005

Sisällysluettelo: “...Component-Based and Model-Driven Development with UML -- Model-Based Testing with UML -- Built...”
Hae kokoteksti

Elektroninen E-kirja

Formal Methods and Software Engineering 9th International Conference on Formal Engineering Methods...

Julkaistu 2007

Sisällysluettelo: “...Invited Talks -- A System Development Process with Event-B and the Rodin Platform -- Challenges...”
Hae kokoteksti

Elektroninen E-kirja

Formal Methods and Software Engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings /

Julkaistu 2006

Sisällysluettelo: “...Keynote Talks -- Program Verification Through Computer Algebra -- JML’s Rich, Inherited...”
Hae kokoteksti

Elektroninen E-kirja

FM 2005: Formal Methods International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings /

Julkaistu 2005

Sisällysluettelo: “...Keynote Talks -- Formal Aids for the Growth of Software Systems -- Formal Methods and Testing...”
Hae kokoteksti

Elektroninen E-kirja

New Modeling Concepts for Today's Software Processes International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings /

Julkaistu 2010

Sisällysluettelo: “...-Fielding Projects -- A Repository of Agile Method Fragments -- OAP: Toward a Process for an Open World...”
Hae kokoteksti

Elektroninen E-kirja

Software Process Dynamics and Agility International Conference on Software Process, ICSP 2007, Minneapolis, MN, USA, May 19-20, 2007, Proceedings /

Julkaistu 2007

Sisällysluettelo: “... for Government Contract Pricing in China -- A Multilateral Negotiation Method for Software Process Modeling...”
Hae kokoteksti

Elektroninen E-kirja

FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings /

Julkaistu 2014

Sisällysluettelo: “... in MPI Programs -- Proof Patterns for Formal Methods -- Efficient Runtime Monitoring with Metric Temporal...”
Hae kokoteksti

Elektroninen E-kirja

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings, Part I /

Julkaistu 2010

Sisällysluettelo: “... Synchronization Algorithm for Remote Files -- A New Parallel Method of Smith-Waterman Algorithm on a Heterogeneous...”
Hae kokoteksti

Elektroninen E-kirja

Euro-Par 2015: Parallel Processing 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings /

Julkaistu 2015

Sisällysluettelo: “... Reliability Classification of Queueing Models for Streaming Processing Using Support Vector Machines -- A...”
Hae kokoteksti

Elektroninen E-kirja

Software Process and Product Measurement International Conference, IWSM–MENSURA 2007, Palma de Mallorca, Spain, November 5-8, 2007, Revised Papers /

Julkaistu 2008

Sisällysluettelo: “... Applications -- An Empirical Study of Process and Product Metrics Based on In-process Measurements of a...”
Hae kokoteksti

Elektroninen E-kirja

Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings /

Julkaistu 2007

Sisällysluettelo: “... Refinement Method for Java Programs -- Refactoring Object-Oriented Specifications with Data and Processes...”
Hae kokoteksti

Elektroninen E-kirja

1
2
3
4
5
6
7
8
9
10
11
Seuraava »
[13]

Rajaa hakua