5407 search results - page 369 / 1082 » The Software Engineering Global Model |
181
click to vote
SOFTVIS
2003
ACM
16 years 1 days ago
2003
ACM
Analysis and design of programs by using tools has emerged to a standard technique in object-oriented software engineering. Many of these tools claim to implement methods accordin...
175
click to vote
IUI
2003
ACM
16 years 2 days ago
2003
ACM
World Wide Web search engines typically return thousands of results to the users. To avoid users browsing through the whole list of results, search engines use ranking algorithms ...
168
click to vote
ICSM
2007
IEEE
16 years 1 months ago
2007
IEEE
Maintainability is a key quality attribute of successful software systems. However, its management in practice is still problematic. Currently, there is no comprehensive basis for...
169
click to vote
KBSE
2006
IEEE
16 years 25 days ago
2006
IEEE
Software model checkers can be applied directly to single-process programs, which typically are multithreaded. Multi-process applications cannot be model checked directly. While m...
177
click to vote
APSEC
2000
IEEE
15 years 11 months ago
2000
IEEE
Explosive increase in end-user computing on distributed systems requires that end-users develop application software by themselves. One solution is given as a formula of “a doma...