Search Sciweavers | Sciweavers

3943 search results - page 14 / 789

» Architecture-Level Requirements Specification

158

IFIP
1992
Springer

162views Programming Languages» more IFIP 1992»

Controller Implementation by Communicating Asynchronous Sequential Circuits Generated from a Petri Net Specification of Required

15 years 7 months ago

Download kluedo.ub.uni-kl.de

This paper presents a completely systematic design procedure for asynchronous controllers. The initial step is the construction of a signal transition graph (STG, an interpreted P...

Jochen Beister, Ralf Wollowski

claim paper

Read More »

click to vote

APSEC
2004
IEEE

63views Software Engineering» more APSEC 2004»

Weaving Multiple Viewpoint Specifications in Goal Oriented Requirements Analysis

15 years 7 months ago

Download kaiya.cs.shinshu-u.ac.jp

Haruhiko Kaiya, Motoshi Saeki

claim paper

Read More »

click to vote

APSEC
1995
IEEE

77views Software Engineering» more APSEC 1995»

From Scenarios to Timed Automata: Building Specifications from Users Requirements

15 years 7 months ago

Download www.cis.upenn.edu

Stéphane S. Somé, Rachida Dssouli, J...

claim paper

Read More »

101

click to vote

ICSOFT
2007

118views Software Engineering» more ICSOFT 2007»

A Software Tool for Requirements Specification - On Using the STORM Environment to Create SRS Documents

15 years 4 months ago

Download www.cse.unr.edu

Sergiu Dascalu, Eric Fritzinger, Kendra Cooper, Na...

claim paper

Read More »

Voted

SAM
2004

114views Hardware» more SAM 2004»

Applying Reduction Techniques to Software Functional Requirement Specifications

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers