3765 search results - page 107 / 753 » Formal Methods for Systems Engineering Behavior Models |
441
click to vote
IJMI
2010
15 years 28 days ago
2010
The integration of Software Engineering (SE) and Human-Computer Interaction (HCI) methods and models is an interesting means for modelling an organization's activities, with ...
180
Voted
JCDL
2011
ACM
14 years 5 months ago
2011
ACM
Collaborative research has been increasingly popular and important in academic circles. However, there is no open platform available for scholars or scientists to effectively dis...
135
click to vote
SEKE
2010
Springer
15 years 10 days ago
2010
Springer
Abstract--Property specification is still one of the most challenging tasks for transference of software verification technology like model checking. The use of patterns has been p...
100
click to vote
IEEESCC
2007
IEEE
15 years 8 months ago
2007
IEEE
Many real-life organizations are hierarchies of largely autonomous, heterogeneous members (individuals or other organizations), often exhibiting rich policies. We restrict our att...
102
click to vote
APSEC
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...