Sciweavers

3441 search results - page 130 / 689
» Provenance of Software Development Processes
Sort
View
150
Voted
ICSE
2003
IEEE-ACM
15 years 8 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
147
Voted
INFSOF
2000
109views more  INFSOF 2000»
15 years 3 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...
125
Voted
IOLTS
2006
IEEE
102views Hardware» more  IOLTS 2006»
15 years 9 months 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 8 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
86
Voted
SAC
2006
ACM
15 years 9 months 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 ...