<--- Back to Details
First PageDocument Content
Object-oriented programming / Pattern / Software architecture / Software design patterns / Software engineering / Design / Stability Model
Date: 2007-02-05 15:11:57
Object-oriented programming
Pattern
Software architecture
Software design patterns
Software engineering
Design
Stability Model

Add to Reading List

Source URL: sugarloafplop2004.ufc.br

Download Document from Source Website

File Size: 68,96 KB

Share Document on Facebook

Similar Documents

Logic / Symbol / Substitution / Mathematical logic / Finite automata

A Pattern-Based Approach to Parametric Specification Mining Giles Reger, Howard Barringer, and David Rydeheard University of Manchester, UK Abstract. This paper presents a technique for mining parametric temporal specifi

DocID: 1xVZ6 - View Document

Economy / Financial markets / Finance / Money / Markets in Financial Instruments Directive / Derivative / Valuation

NEX_PATTERN_DARK_ALL_RGB-01

DocID: 1xVXa - View Document

Economy / Finance / Money / Financial law / Mathematical finance / Actuarial science / Financial markets / Monte Carlo methods in finance / XVA / Credit risk / Margin / FVA

NEX_PATTERN_DARK_ALL_RGB-01

DocID: 1xVFG - View Document

Concurrency control / Computing / Computer architecture / Computer programming / Synchronization / Linearizability / Memory barrier / Parallel computing / Mutual exclusion / Critical section / Lock / Thread

Pattern-based Synthesis of Synchronization for the C++ Memory Model Yuri Meshman Noam Rinetzky

DocID: 1xVip - View Document

Computer programming / Software engineering / Declarative programming / Recursion / Functional programming / Computability theory / Theoretical computer science / Programming paradigms / Algebraic data type / Fold / Pattern matching / Conditional

Unfailing Haskell: A Static Checker for Pattern Matching Neil Mitchell and Colin Runciman http://www.cs.york.ac.uk/∼ndm , http://www.cs.york.ac.uk/∼colin University of York, UK

DocID: 1xVgx - View Document