21379 search results - page 280 / 4276 » The profession of IT - Evolutionary system development |
162
click to vote
ICFEM
2004
Springer
16 years 2 days ago
2004
Springer
A formal framework for software development and analysis is presented, which aims at reducing the gap between formal specification and implementation by integrating the two and al...
174
click to vote
EUROMICRO
2003
IEEE
15 years 12 months ago
2003
IEEE
The idea of component based software systems has a long tradition in the field of software engineering. Component markets have been an integral part of this idea. However, such ma...
157
click to vote
KORSO
1995
15 years 10 months ago
1995
in Data Types Specification, Proc. 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS Workshop, S.Margherita, Italy, May/June 1994, Selected papers,...
227
click to vote
CSREAESA
2006
15 years 8 months ago
2006
- We present a software tool for high-level design and analysis of large-scale embedded real-time software, which has been integrated into a vehicle control platform development to...
189
click to vote
DBSEC
2003
15 years 8 months ago
2003
: Fair exchange protocols play an important role in application areas such as e-commerce where protocol participants require mutual guarantees that a transaction involving exchange...