Search Sciweavers | Sciweavers

3514 search results - page 34 / 703

» Evolving Specification Engineering

130

click to vote

RE
2001
Springer

129views Software Engineering» more RE 2001»

Evolving System Architecture to Meet Changing Business Goals: An Agent and Goal-Oriented Approach

15 years 7 months ago

Download www.imamu.edu.sa

Today's requirements engineering approaches focus on notation and techniques for modeling the intended functionality and qualities of a software system. Little attention has ...

Daniel Gross, Eric S. K. Yu

claim paper

Read More »

click to vote

FASE
2009
Springer

108views Software Engineering» more FASE 2009»

Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy

15 years 10 months ago

Download publicaciones.dc.uba.ar

Nazareno Aguirre, Marcelo F. Frias, Mariano M. Mos...

claim paper

Read More »

click to vote

ADAEUROPE
2009
Springer

121views Software Engineering» more ADAEUROPE 2009»

Formal Verification of AADL Specifications in the Topcased Environment

15 years 9 months ago

Download www.aadl.info

Bernard Berthomieu, Jean-Paul Bodeveix, Christelle...

claim paper

Read More »

101

click to vote

EMSOFT
2009
Springer

104views Software Engineering» more EMSOFT 2009»

Modal interfaces: unifying interface automata and modal specifications

15 years 9 months ago

Download www.irisa.fr

Jean-Baptiste Raclet, Eric Badouel, Albert Benveni...

claim paper

Read More »

106

click to vote

CSSE
2008
IEEE

159views Software Engineering» more CSSE 2008»

Sound-Specific Vibration Interface using Digital Signal Processing

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers