Sciweavers

3045 search results - page 28 / 609
» Formal Approaches to Software Architecture
Sort
View
ISARCS
2010
240views Hardware» more  ISARCS 2010»
15 years 7 months 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
16 years 12 days 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»
15 years 7 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
16 years 9 hour 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 10 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...