1481 search results - page 203 / 297 » Enriching the Software Development Process by Formal Methods |
138
click to vote
WWW
2007
ACM
16 years 4 months ago
2007
ACM
We describe collaborative efforts between a knowledge representation team, a community of scientists, and scientific information managers in developing knowledge models for ecolog...
119
click to vote
SIGSOFT
2005
ACM
16 years 4 months ago
2005
ACM
Project managers aim at keeping track of interdependencies between various artifacts of the software development lifecycle, to find out potential requirements conflicts, to better...
119
click to vote
SAS
2001
Springer
15 years 8 months ago
2001
Springer
Model checking would answer all finite-state verification problems, if it were not for the notorious state-space explosion problem. A problem of practical importance, which attra...
144
click to vote
BIRTHDAY
2010
Springer
15 years 3 months ago
2010
Springer
m, modules, types and operations), different kinds of abstractions (functional/data, types/objects etc.) without falling into a loose collection of diagram languages. Considering a...
140
click to vote
PLDI
2005
ACM
15 years 9 months ago
2005
ACM
We introduce a language and system that supports definition and composition of complex run-time security policies for Java applications. Our policies are comprised of two sorts o...