Search Sciweavers | Sciweavers

1906 search results - page 12 / 382

» Controls in Flexible Software Development

135

click to vote

FM
1998
Springer

153views Formal Methods» more FM 1998»

VSE: Controlling the Complexity in Formal Software Developments

15 years 7 months ago

Download reference.kfupm.edu.sa

We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring speci cations and it supports the developme...

Dieter Hutter, Heiko Mantel, Georg Rock, Werner St...

claim paper

Read More »

130

click to vote

INFORMATICALT
2008

100views more INFORMATICALT 2008»

A Framework and Tool-Support for Reengineering Software Development Methods

15 years 3 months ago

Download www.mii.lt

Abstract. The purpose of the research described in this paper is to propose a framework and supporting tools that will help software companies to establish formalised methods that ...

Marko Bajec, Damjan Vavpotic

claim paper

Read More »

click to vote

IUSED
2008

79views Software Engineering» more IUSED 2008»

Controlling User Experience through Policing in the Software Development Process

15 years 4 months ago

Download users.dsic.upv.es

Mats Hellman, Kari Rönkkö

claim paper

Read More »