Sciweavers

1229 search results - page 127 / 246
» Reflections on the Design of a Specification language
Sort
View
ASE
2008
120views more  ASE 2008»
13 years 8 months ago
Requirements model generation to support requirements elicitation: the Secure Tropos experience
In the last years several efforts have been devoted by researchers in the Requirements Engineering community to the development of methodologies for supporting designers during req...
Nadzeya Kiyavitskaya, Nicola Zannone

Publication
351views
15 years 8 months ago
Synthesizable High Level Hardware Descriptions
Modern hardware description languages support code-generation constructs like generate/endgenerate in Verilog. These constructs are intended to describe regular or parameterized ha...
Jennifer Gillenwater, Gregory Malecha, Cherif Sala...
ICSE
2008
IEEE-ACM
14 years 8 months ago
A case study evaluation of maintainability and performance of persistency techniques
Efforts for software evolution supersede any other part of the software life cycle. Technological decisions have a major impact on the maintainability, but are not well reflected ...
Thomas Goldschmidt, Ralf Reussner, Jochen Winzen
CHI
2009
ACM
14 years 8 months ago
Extraordinary computing: religion as a lens for reconsidering the home
We present results from a study examining how American Protestant Christians' faith affects their domestic life. There are two contributions of this work for the HCI communit...
Susan Wyche, Rebecca E. Grinter
ECTEL
2007
Springer
14 years 2 months ago
Knowledge Repositories for Rural Communities of Learning
Knowledge Repositories can be a potential solution in order to cover agricultural professionals' lifelong learning needs. An application area of particular interest is the one...
Argiris Tzikopoulos