Search Sciweavers | Sciweavers

3514 search results - page 7 / 703

» Evolving Specification Engineering

click to vote

CPAIOR
2004
Springer

127views Operations Research» more CPAIOR 2004»

Building Models through Formal Specification

13 years 11 months ago

Download www.comp.rgu.ac.uk

Abstract. Over the past years, a number of increasingly expressive languages for modelling constraint and optimisation problems have evolved. In developing a strategy to ease the c...

Gerrit Renker, Hatem Ahriz

claim paper

Read More »

click to vote

ICRE
1998
IEEE

186views Software Engineering» more ICRE 1998»

Intent Specifications: An Approach to Building Human-Centered Specifications

13 years 12 months ago

Download sunnyday.mit.edu

Nancy G. Leveson

claim paper

Read More »

click to vote

GECCO
2009
Springer

146views Optimization» more GECCO 2009»

Evolving specific network statistical properties using a gene regulatory network model

13 years 11 months ago

Download hal.inria.fr

Abstract. The generation of network topologies with specific, userspecified statistical properties is the aim of this paper. This is achieved through the use of an artifical Gene R...

Miguel Nicolau, Marc Schoenauer

claim paper

Read More »

click to vote

ICSE
2003
IEEE-ACM

104views Software Engineering» more ICSE 2003»

Pattern Oriented Software Development: Moving Seamlessly from Requirements to Architecture

14 years 7 months ago

Download se.uwaterloo.ca

Requirements Engineering (RE) deals with the early phases of software engineering namely requirement elicitation, modeling, specification and validation. Architecture of a softwar...

M. S. Rajasree, P. Jithendra Kumar Reddy, D. Janak...

claim paper

Read More »

click to vote

DAGSTUHL
1998

100views Software Engineering» more DAGSTUHL 1998»

Evolving Logical Specification in Information Systems

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers