1676 search results - page 44 / 336 » Formal System Development with KIV |
152
click to vote
IADIS
2004
15 years 5 months ago
2004
The main objective of the CONNECT project is to develop an innovative pedagogical framework that attempts to blend formal and informal learning, proposing an educational reform to ...
128
click to vote
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (contPN). Specifically, we consider two problems: (1) given an initial set o...
127
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
UML2 and SysML try to adopt techniques known from software development to systems engineering. However, the focus has been put on modeling aspects until now and quantitative perfo...
166
Voted
CSFW
2012
IEEE
13 years 6 months ago
2012
IEEE
—Role-based Access Control (RBAC) is one of the most widespread security mechanisms in use today. Given the growing complexity of policy languages and access control systems, ver...
119
click to vote
COMPSAC
2000
IEEE
15 years 8 months ago
2000
IEEE
Components-based development is promising in improving software development productivity and software quality by re-using existing well-tested software components. However, one of...