977 search results - page 187 / 196 » Formal methods integration in software engineering |
ICAC
2008
IEEE
15 years 6 months ago
2008
IEEE
We describe an automated method to generating models of an autonomic system. Specifically, we generate UML state diagrams for a set of interacting objects, including the extensio...
118
click to vote
CORR
2011
Springer
14 years 6 months ago
2011
Springer
—The article describes a course on system design (structural approach) which involves the following: issues of systems engineering; structural models; basic technological problem...
113
click to vote
KI
2002
Springer
14 years 11 months ago
2002
Springer
While empirical evaluations are a common research method in some areas of Artificial Intelligence (AI), others still neglect this approach. This article outlines both the opportun...
WWW
2008
ACM
16 years 10 days ago
2008
ACM
Learning to rank is a new statistical learning technology on creating a ranking model for sorting objects. The technology has been successfully applied to web search, and is becom...
102
click to vote
WWW
2004
ACM
16 years 10 days ago
2004
ACM
The World Wide Web is emerging not only as an infrastructure for data, but also for a broader variety of resources that are increasingly being made available as Web services. Rele...