Sciweavers

3441 search results - page 130 / 689
» Provenance of Software Development Processes
Sort
View
ICSE
2003
IEEE-ACM
15 years 11 months ago
Architectural Requirements Engineering: Theory vs. Practice
This paper discusses how architectural requirements engineering fits into an overall software development process in the concept and definition phases of a project. It defines a r...
Robert W. Schwanke
INFSOF
2000
109views more  INFSOF 2000»
15 years 6 months ago
Constructing component-based software engineering environments: issues and experiences
Developing software engineering tools is a difficult task, and the environments in which these tools are deployed continually evolve as software developers' processes, tools ...
John C. Grundy, Warwick B. Mugridge, John G. Hoski...
IOLTS
2006
IEEE
102views Hardware» more  IOLTS 2006»
16 years 10 days ago
Emulation-based Fault Injection in Circuits with Embedded Memories
FPGA emulation has proven to be a performance effective method to analyse the behaviour of digital circuits in the presence of soft errors due to SEU effects. In particular, the r...
Mario García-Valderas, Marta Portela-Garc&i...
GI
2009
Springer
15 years 11 months ago
True Lies: Lazy Contracts for Lazy Languages
Abstract: Contracts are a proven tool in software development. They provide specifications for operations that may be statically verified or dynamically validated by contract mon...
Markus Degen, Peter Thiemann, Stefan Wehr
SAC
2006
ACM
16 years 8 days ago
Simplifying transformation of software architecture constraints
The heterogeneity of architectural constraint languages makes difficult the transformation of architectural constraints throughout the development process. Indeed they have signi...
Chouki Tibermacine, Régis Fleurquin, Salah ...