561 search results - page 12 / 113 » VSE: Controlling the Complexity in Formal Software Developme... |
IADIS
2004
15 years 1 months ago
2004
This paper outlines new perspectives on the teaching and learning of software systems development in large groups based on a newly designed, final year, Software Systems Analysis ...
117
click to vote
FM
1997
Springer
15 years 3 months ago
1997
Springer
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
ISTA
2007
15 years 1 months ago
2007
: The article is devoted to the development of knowledge-oriented models that are able to increase the efficiency and quality of main pipeline complex (MPC) dispatching control. Th...
115
click to vote
IPAW
2010
14 years 9 months ago
2010
Abstract. "Why does the build fail currently?" - This and similar questions arise on a daily basis in software development processes (SDP). There is no easy way to answer...
123
click to vote
TDSC
2008
14 years 11 months ago
2008
Specifying and managing access control policies is a challenging problem. We propose to develop formal verification techniques for access control policies to improve the current s...