3828 search results - page 501 / 766 » Proof-Based System Engineering Using a Virtual System Model |
199
click to vote
IUI
1997
ACM
15 years 11 months ago
1997
ACM
Intelligentlearning environments that support constructivism shouldprovideactivelearningexperiencesthatarecustomized for individuallearners. To do so, they must determine learner ...
192
click to vote
SIGSOFT
2006
ACM
16 years 28 days ago
2006
ACM
When working on a large software system, a programmer typically spends an inordinate amount of time sifting through thousands of artifacts to find just the subset of information n...
177
click to vote
BIRTHDAY
2005
Springer
16 years 16 days ago
2005
Springer
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...
184
click to vote
ER
1998
Springer
15 years 11 months ago
1998
Springer
The development of Internet commercial applications and corporate Intranets around the world, which uses Java as the de facto standard language, is a significant topic in modern S...
203
click to vote
COMPSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
— In software testing and maintenance activities, the observed faults and bugs are reported in bug report managing systems (BRMS) for further analysis and repair. According to th...