2430 search results - page 413 / 486 » Tool support for quality-driven development of software arch... |
109
click to vote
IFM
1999
Springer
15 years 5 months ago
1999
Springer
SOFL (Structured-Object-based-Formal Language) is recently proposed to combine the advantagesof formal methods, structured methods and object-oriented methodology into one method ...
GECCO
2007
Springer
15 years 7 months ago
2007
Springer
The diffusion of service oriented architectures introduces the need for novel testing approaches. On the one side, testing must be able to identify failures in the functionality ...
107
click to vote
CF
2010
ACM
15 years 6 months ago
2010
ACM
Over the past decade, the trajectory to the petascale has been built on increased complexity and scale of the underlying parallel architectures. Meanwhile, software developers hav...
117
click to vote
DATE
2006
IEEE
15 years 7 months ago
2006
IEEE
Instruction set simulators are common tools used for the development of new architectures and embedded software among countless other functions. This paper presents a framework th...
101
click to vote
ICSR
2004
Springer
15 years 6 months ago
2004
Springer
This paper describes a feature modelling technique aimed at modelling the software assets behind a product family. The proposed technique is distinctive in five respects. First, it...