Sciweavers

3045 search results - page 28 / 609
» Formal Approaches to Software Architecture
Sort
View
ISARCS
2010
240views Hardware» more  ISARCS 2010»
15 years 12 days ago
Engineering a Distributed e-Voting System Architecture: Meeting Critical Requirements
Voting is a critical component of any democratic process; and electronic voting systems should be developed following best practices for critical system development. E-voting has i...
J. Paul Gibson, Eric Lallet, Jean-Luc Raffy
CSEE
2009
Springer
15 years 5 months ago
A Community of Learners Approach to Software Architecture Education
The wicked nature of software architecture calls for educational methodologies that deviate from the traditional active lecturer-passive student relation. In this paper we present...
Remco C. de Boer, Rik Farenhorst, Hans van Vliet
CASCON
1997
98views Education» more  CASCON 1997»
14 years 11 months ago
An approach to software architecture analysis for evolution and reusability
Software evolution and reuse is more likely to receive higher payoff if high-level artifacts—such as architectures and designs—can be reused and can guide low-level component ...
Chung-Horng Lung, Sonia Bot, Kalai Kalaichelvan, R...
EMSOFT
2007
Springer
15 years 4 months ago
Virtual execution of AADL models via a translation into synchronous programs
Architecture description languages are used to describe both the hardware and software architecture of an application, at system-level. The basic software components are intended ...
Erwan Jahier, Nicolas Halbwachs, Pascal Raymond, X...
RE
2001
Springer
15 years 2 months ago
Reconciling Software Requirements and Architectures: The CBSP Approach
Little guidance and few methods are available to refine a set of software requirements into an architecture satisfying those requirements. Part of the challenge stems from the fac...
Paul Grünbacher, Alexander Egyed, Nenad Medvi...