Agile Specification-Driven Development

Agile Specification-Driven DevelopmentShort Description
We present an agile approach to Specification-Driven Development, which combines features of Test-Driven Development and the plan-based approach of Design-by-Contract.We argue that both tests and contracts are different types of specifications, and both are useful and complementary for building high quality software. We conclude that it is useful for being able to switch between writing tests and writing contracts, and explain how Specification-Driven Development supports this capability.

Website: www.cse.yorku.ca | Filesize: 77kb
No of Page(s): 9
Read more

Agile Specification-Driven Development

Agile Specification-Driven DevelopmentShort Description
Traditional software development methods stress the elicitation and documentation of a “complete” set of requirements, followed by architectural and high-level design, coding, inspection and testing. This general approach is sometimes described as plan-driven development. Agile methods were a reaction to these traditional “documentation driven, heavyweight software development processes” [2], focusing on an iterative design process with rapid feedback in which code appears early [15].

Website: www-users.cs.york.ac.uk | Filesize: 77kb
No of Page(s): 9
Read more

RefaX A Refactoring Framework Based on XML

RefaX A Refactoring Framework Based on XMLShort Description
Refactoring, i.e., the process of changing a software system to improve its internal quality and preserving its external behavior, is gaining increasing acceptance among software developers. Even though many refactoring tools are now available for a variety of programming languages, most of them are difficult to reuse, extend or even customize, mainly because they provide no uniform way of representing and manipulating source code information. This paper presents a refactoring framework, called RefaX, which relies on open, XML-based source code models and processing standards to facilitate the development, customization and reuse of refactoring tools. In particular, RefaX makes it possible to develop refactoring tools that are independent of source code model, programming language and XML processing technology. The viability of the framework is illustrated through a refactoring prototype for Java.

Website: www.doc.ic.ac.uk | Filesize: 309kb
No of Page(s): 10
Read more

Coding Standard C#

Coding Standard C#Short Description
This document requires or recommends certain practices for developing programs in the C# language. The
objective of this coding standard is to have a positive effect on
- Avoidance of errors/bugs, especially the hard-to-find ones.
- Maintainability, by promoting some proven design principles.
- Maintainability, by requiring or recommending a certain unity of style.
- Performance, by dissuading wasteful practices.

Website: www.tiobe.com | Filesize: 286kb
No of Page(s): 49
Read more

An ASM specification of C# threads and the .NET memory model

An ASM specification of C# threads and the .NET memory modelShort Description
Abstract. We present a high-level ASM model of C# threads and the .NET memory model. We focus on purely managed, fully portable threading features of C#. The sequential model interleaves the computation steps of the currently running threads and is suitable for uniprocessors. The parallel model addresses problems of true concurrency on multiprocessor systems. The models provide a sound basis for the development of multi-threaded applications in C#.

Website: www.di.unipi.it | Filesize: 268kb
No of Page(s): 24
Read more

Threading in Java and C# A Focused Language Comparison Overview

Threading in Java and C# A Focused Language Comparison OverviewShort Description
Both Java and .NET have built-in support for threads. In Java, this support is in three main forms: a mutex variable is associated with every object; there is a set of methods defined on Object that support coordination of threads; and a set of classes in java.lang that allows programmers to create and manage threads. Similarly, in .NET there is a Monitor (or lock) associated with every object instance. The System.Threading namespace contains classes that allow thread creation and manipulation.

Website: www.shannonhardt.com | Filesize: 84kb
No of Page(s): 11
Read more

Olympus mju790 Basic Manual

Olympus mju790 Basic ManualShort Description
You can add other languages to your camera with the. provided OLYMPUS Master software. Please refer to the. Advanced Manual. m Button. 3# Button …

Website: www.olympus.co.jp | Filesize: 8625kb
No of Page(s): 148
Read more

Next Page →