10568 search results - page 204 / 2114 » Computer Intelligence and Formalization |
117
click to vote
ACSC
2004
IEEE
15 years 6 months ago
2004
IEEE
The Unified Modeling Language (UML) is widely used in the software development process for specification of system based on the object-oriented paradigm. Thought the current versi...
127
click to vote
ERSHOV
2006
Springer
15 years 6 months ago
2006
Springer
The article presents an approach to development of software standards usage infrastructure. The approach is based on formalization of standards and automated conformance test deriv...
125
click to vote
ENTCS
2007
15 years 3 months ago
2007
Many modern program verifiers translate the program to be verified and its specification into a simple intermediate representation and then compute verification conditions on ...
140
click to vote
ICTAC
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Separation kernels are key components in embedded applications. Their small size and widespread use in high-integrity environments make them good targets for formal model...
101
click to vote
LLC
2011
14 years 10 months ago
2011
Computational phonology approaches the study of sound patterns in the world’s languages from a computational perspective. This article explains this perspective and its relevanc...