Sciweavers

555 search results - page 72 / 111
» Software, regulation, and domain specificity
Sort
View
JOT
2010
117views more  JOT 2010»
13 years 8 months ago
Formal Model and DSL for Separation of Concerns based on Views
The separation of concerns (SOC), as a conceptual tool, enables us to manage the complexity of software systems that we develop. The benefits of this paradigm, such as reuse, enhan...
Mehdi Adda, Hamid Mcheick, Hafedh Mili
ICSE
2008
IEEE-ACM
14 years 10 months ago
3rd international workshop on advances and applications of problem frames
Central to the problem frames approach is the distinction of three different descriptions: requirements R, domain assumptions W and specifications S, tied together with the socall...
Thein Than Tun, Jon G. Hall, Lucia Rapanotti, Karl...
SAC
2009
ACM
14 years 4 months ago
LTS semantics for use case models
Formalization is a necessary precondition for the specification of precise and unambiguous use case models, which serve as reference points for the design and implementation of so...
Daniel Sinnig, Patrice Chalin, Ferhat Khendek
RE
2001
Springer
14 years 2 months ago
Virtual Environment Modeling for Requirements Validation of High Consequence Systems
An essential type of “evidence”of the correctness of the requirements formalization process can be provided by human-based calculation. Human calculation can be significantly ...
Victor L. Winter, Dejan Desovski, Bojan Cukic
MHCI
2005
Springer
14 years 3 months ago
Field-based mLearning: who wants what?
The real needs of end users of software technology are often neglected until it is too late. An approach is outlined that puts people before technology, and investigates the real ...
Paul Ryan, Enda Finn