7380 search results - page 338 / 1476 » Engineering Software Intensive Systems |
127
click to vote
ACSC
2004
IEEE
15 years 7 months ago
2004
IEEE
An approach to system verification is described in which design artefacts produced during forward engineering are automatically compared to corresponding artefacts produced during...
135
Voted
SIGSOFT
1994
ACM
15 years 8 months ago
1994
ACM
As the design of software architectures emerges as a discipline within software engineering, it will become increasingly important to support architectural description and analysi...
113
click to vote
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
The widening spectrum of applications and services provided by portable and embedded devices bring a new dimension of concerns in security. Most of those embedded systems (pay-TV,...
121
click to vote
CLEF
2005
Springer
15 years 9 months ago
2005
Springer
EuroGOV is a multilingual web corpus that was created to serve as the document collection for WebCLEF, the CLEF 2005 web retrieval task. EuroGOV is a collection of web pages crawl...
143
click to vote
DAGSTUHL
2004
15 years 5 months ago
2004
ns to define the abstract modelling language that determines the structure of the models that are to be used a two-step meta-modelling approach turned out as most adequate. In the ...