Sciweavers

3514 search results - page 243 / 703
» Evolving Specification Engineering
Sort
View
CODES
2001
IEEE
15 years 9 months ago
Evaluating register file size in ASIP design
Interest in synthesis of Application Specific Instruction Set Processors or ASIPs has increased considerably and a number of methodologies have been proposed for ASIP design. A ke...
Manoj Kumar Jain, Lars Wehmeyer, Stefan Steinke, P...
ICSE
2000
IEEE-ACM
15 years 9 months ago
A formal approach for designing CORBA based applications
The design of distributed applications in a CORBA based environment can be carried out by means of an incremental approach, which starts from the specification and leads to the hi...
Matteo Pradella, Matteo Rossi, Dino Mandrioli, Alb...
INFORMATICALT
2006
75views more  INFORMATICALT 2006»
15 years 6 months ago
Repository for Business Rules Based IS Requirements
The quality of software engineering projects often suffers due to the large gap between the way stakeholders present their requirements and the way analysts capture and express tho...
Kestutis Kapocius, Rimantas Butleris
RE
2006
Springer
15 years 6 months ago
Requirement Progression in Problem Frames Applied to a Proton Therapy System
A technique is presented for obtaining a specification from a requirement through a series of incremental steps. The starting point is a Problem Frame description involving a requ...
Robert Seater, Daniel Jackson
ICSE
2003
IEEE-ACM
16 years 6 months ago
Using Problem Frames with Distributed Architectures: A Case for Cardinality on Interfaces
Certain classes of problems amenable to description using Problem Frames, in particular ones intended to be implemented using a distributed architecture, can benefit by the additi...
Charles B. Haley