4919 search results - page 347 / 984 » A Process-Ontological Model for Software Engineering |
134
Voted
IUI
2003
ACM
15 years 10 months 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 ...
123
Voted
ICSM
2007
IEEE
15 years 11 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...
135
Voted
KBSE
2006
IEEE
15 years 11 months 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...
136
Voted
APSEC
2000
IEEE
15 years 9 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...
139
click to vote
SCAM
2008
IEEE
15 years 11 months ago
2008
IEEE
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...