Previous
Issues of Structured Vs. Object-Oriented Methodology of Systems Analysis and Design
White Papers In recent years, there has been a surge of interest in Object-Oriented (OO) methodology in the analysis and design of a system. However, there is a dilemma as to how best fit the OO topics with the existing coherent discussion of structured...
[April 28, 2006, 1:00]
Object-Oriented Software Specification in Programming Language Design and Implementation
White Papers An object-oriented formal specification workbench is proposed for defining the syntax and semantics of programming languages, using which the formal properties of different languages can be elaborated and analyzed.
[January 1, 2009, 23:00]
MSDN Webcast: ASP.NET AJAX Client Libraries: Object-Oriented Development (Level 200)
White Papers This webcast explores the Object-Oriented (OO) concepts built into the Microsoft ASP.NET AJAX client libraries. The webcast discusses namespaces, events, properties, and more. The attendee will learn how to use these concepts as building blocks for...
[July 4, 2007, 1:00]
MSDN Webcast: Reduce, Reuse, Recycle (Session 4) - Object-Oriented Concepts in Microsoft .NET Winforms Applications - Level 200
White Papers Chances of the development approach are committed to an object-oriented methodology for writing extensible code. This fourth webcast in the essential 14-part series "Soup to Nuts - A Practical Guide to Building Windows Forms Applications with .NET...
[June 9, 2007, 1:00]
Essential ActionScript 2.0: Object-Oriented ActionScript
White Papers Ironically, Flash users who are new to Object-Oriented Programming (OOP) are often familiar with many object-oriented concepts without knowing their formal names. This paper demystifies some of the terminology and brings newer programmers up to...
[October 10, 2007, 1:00]
Reduce, Reuse, Recycle (Session 4)-Object-Oriented Concepts in Microsoft .NET Winforms Applications-Level 200
White Papers Chances are your development approach is committed to an object-oriented methodology for writing extensible code. Join this fourth webcast in the essential 14-part series "Soup to Nuts - A Practical Guide to Building Windows Forms Applications with...
[October 30, 2004, 0:00]
MSDN Webcast: MSDN Events Reloaded: Object-Oriented Programming Fundamentals in .NET (Level 200)
White Papers Microsoft Visual Basic .NET brings the full power of Object-Oriented Programming to the Visual Basic syntax one is already familiar with. The attendee of this webcast will learn the fundamentals of Object-Oriented Programming (OOP) and the new OOP...
[August 1, 2007, 1:00]
MSDN Webcast: Object-Oriented Programming for Grid: Grid Computing for .NET (Level 200)
White Papers Object-Oriented Programming for Grid (OOP-G) allows developers to think in terms of objects, and allows those objects to be distributed across the grid and executed in parallel to improve performance and scalability.
[April 27, 2007, 1:00]
Study of Object-Oriented Software Development
White Papers These are the highlights of a successfully completed application of object-oriented software development for a new product. The project was of medium size, the duration was less than 24 months (from the end of the requirements specification to...
[August 14, 2003, 0:00]
A Verifying Compiler for a Multi-Threaded Object-Oriented Language
White Papers This paper describes the program-verifier component of a verifying compiler for a core multi-threaded object-oriented language. The paper also builds a methodology for writing and verifying single- and multi-threaded code with object invariants...
[May 31, 2007, 1:00]
MSDN Webcast: Tips and Tricks for Object-Oriented Development With Visual Studio .NET (Part 2 of 2) (Level 200)
White Papers Object-Oriented programming (OOP) has long promised to solve the most pressing challenges of application development, but where are those promised benefits in the solutions? The presenter of this webcast shows how to use object-oriented thinking to...
[June 15, 2007, 1:00]
Constrained Types for Object-Oriented Languages
White Papers X10 is a modern object-oriented language designed for productivity and performance in concurrent and distributed systems. The design and implementation of constrained types, a natural, simple, clean, and expressive extension to object-oriented...
[February 1, 2009, 0:00]
MSDN Webcast: Tips and Tricks for Object-Oriented Development With Visual Studio .NET (Part 1 of 2) (Level 200)
White Papers Object-Oriented programming (OOP) has been touted as the "Silver bullet" to solve the most pressing challenges of application development, but where are those promised benefits in the solutions? This webcast addresses these questions and shows how...
[June 15, 2007, 1:00]
Transformation of UML Interaction Diagrams Into Contract Specifications for Object-Oriented Testing
White Papers Contract specification can be used to formally specify the cluster level of object-oriented software, which can then be tested using TACCLE, an advanced methodology for object-oriented testing. In particular, UML interaction diagrams specify the...
[November 29, 2008, 23:00]
Working With Objects in F#: Learn How to Use Common Object-Oriented Techniques in F# so That Various Shapes Know How to Calculate Their Own Perimeter
White Papers This paper shows how to use primary object-oriented techniques from languages such as C# and VB: implementation by inheritance and by interfaces. It also covers F#-specific object-oriented features such as object expressions, constructed classes...
[November 29, 2008, 23:00]
Testing Concurrent Object-Oriented Systems With Spec Explorer
White Papers Spec Explorer enables modeling and automatic testing of concurrent object-oriented systems. This paper describes a practical model-based testing tool developed at Microsoft Research called Spec Explorer.
[May 25, 2007, 1:00]
Boogie: A Modular Reusable Verifier for Object-Oriented Programs
White Papers This paper describes the architecture of a state-of-the-art program verifier for object-oriented programs. This paper describes the architecture of Boogie, a state-of-the-art program verifier for verifying Spec# programs in the object-oriented .NET...
[June 9, 2007, 1:00]
Object-Oriented Hypermedia Design and J2EE Technology for Web-Based Applications
White Papers Web-based application development is a difficult task, since these applications include various features, like graphical interfaces, navigational structures, business models, and wireless communications, as well as other issues, such as serving a...
[October 22, 2008, 1:01]
Object Oriented Verification Kernels for Secure Java Applications
White Papers This paper presents an approach to the verification of large Java programs. The focus lies on programs that implement a distributed communicating system e.g.in an M-or E-Commerce scenario. When trying to verify such programs, thousands of Java...
[June 23, 2007, 1:00]
Utilizing Open Source and Object Oriented Paradigms in Instructional Technology
White Papers A learning space is defined by the intersection of content, learner, and instructional designer. Each of these components provides critical contributions to the learning process. Computer mediated instruction can model the concept of a learning...
[February 6, 2009, 0:00]
