3828 search results - page 510 / 766 » Proof-Based System Engineering Using a Virtual System Model |
209
click to vote
CSMR
2004
IEEE
15 years 10 months ago
2004
IEEE
Within a long-term distributed systems project we repeatedly stumbled across the well-known yet difficult question to either implement from scratch or comprehend and adapt existin...
199
click to vote
INFSOF
2007
15 years 6 months ago
2007
An important decision problem in many software projects is when to stop testing and release software for use. For many software products, time to market is critical and therefore ...
187
click to vote
IRI
2005
IEEE
16 years 14 days ago
2005
IEEE
Many legacy systems were developed in COBOL, which still play an important role in business. It is an unavoidable issue for organisations to maintain or replace these COBOL system...
163
click to vote
NIME
2004
Springer
16 years 6 days ago
2004
Springer
On-the-fly programming is a style of programming in which the programmer/performer/composer augments and modifies the program while it is running, without stopping or restarting, ...
185
click to vote
ICCSA
2010
Springer
15 years 12 months ago
2010
Springer
In the so-called Information-Explosion Era, astronomical amount of information is ubiquitously produced and digitally stored. It is getting more and more convenient for cooperative...