Sciweavers

2741 search results - page 136 / 549
» Designing Law-Compliant Software Requirements
Sort
View
ERLANG
2003
ACM
15 years 11 months ago
ARMISTICE: an experience developing management software with Erlang
In this paper, some experiences of using the concurrent functional language Erlang to implement a classical vertical application, a risk management information system, are present...
David Cabrero, Carlos Abalde, Carlos Varela, Laura...
ICFEM
2010
Springer
15 years 4 months ago
Reasoning about Safety and Progress Using Contracts
Designing concurrent or distributed systems with complex architectures while preserving a set of high-level requirements through all design steps is not a trivial task. Building up...
Imene Ben Hafaiedh, Susanne Graf, Sophie Quinton
SIGDOC
2006
ACM
16 years 9 days ago
Workshop: communicating design patterns with TRIZ
This work will present elements of Genrich Altshuller’s Theory of Inventive Problem Solving, also known as TRIZ, and use them to describe the structural patterns found in the Ga...
John W. Stamey Jr., Ellen Domb
ICASSP
2008
IEEE
16 years 24 days ago
Analyzing the scalability of SIMD for the next generation software defined radio
Previous studies have shown that wireless DSP algorithms exhibit high levels of data level parallelism (DLP). Commercial and research work in the field of software defined radio...
Mark Woh, Yuan Lin, Sangwon Seo, Trevor N. Mudge, ...
CSEE
2009
Springer
16 years 28 days ago
A Global and Competition-Based Model for Fostering Technical and Soft Skills in Software Engineering Education
The project experience described in this paper builds upon three years of running global software development projects in an educational setting. It explicitly addresses some of t...
Olly Gotel, Vidya Kulkarni, Moniphal Say, Christel...