2599 search results - page 462 / 520 » A Tool for Supporting Feature-Driven Development |
111
Voted
CARDIS
2000
Springer
15 years 7 months ago
2000
Springer
This paper reports on an effort to increase the reliability of JavaCard-based smart cards by means of formal specification and verification of JavaCard source code. As a first ste...
142
Voted
GRID
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. In this paper we report on preliminary work and architectural design carried out in the "Data Management" work package in the International Data Grid project. O...
151
Voted
SBIA
2000
Springer
15 years 7 months ago
2000
Springer
Agent technology provides many services to users. The tasks in which agents are involved include information filtering, information retrieval, user's tasks automation, browsin...
115
Voted
NGITS
1995
Springer
15 years 7 months ago
1995
Springer
Dozens of temporal extension of the relational data model and of the query language SQL have appeared in recent years. Recently, a committee formed by researchers from the academi...
123
Voted
ECMDAFA
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Traceability is demanded within mature development processes and offers a wide range of advantages. Nevertheless, there are deterrents to establishing traceability: it c...