317 search results - page 6 / 64 » Frameworks: the future of formal software development |
UML
2005
Springer
14 years 1 months ago
2005
Springer
Many of today’s software applications require a high-level of security, defined by a detailed policy and attained via mechanisms such as role-based access control (RBAC), mandat...
TSE
2002
13 years 7 months ago
2002
This paper presents an empirical study in an industrial context on the production of software using a framework. Frameworks are semicomplete applications, usually implemented as a ...
CODES
1999
IEEE
13 years 12 months ago
1999
IEEE
In this paper, we develop a formal framework to widen the scope of retargetable compilation. The goal is achieved by the unification of architectural models for both the processor...
ICSE
2010
IEEE-ACM
14 years 10 days ago
2010
IEEE-ACM
Many languages for software architectures have been proposed, each dealing with different stakeholder concerns, operating at different levels of abstraction and with different deg...
DEXAW
2000
IEEE
13 years 12 months ago
2000
IEEE
This paper addresses the problem of enabling a user of a process-centered SDE, hosted on a high-speed network, to continue working on a detached mobile workstation connected by a l...