196 search results - page 24 / 40 » Specification Diagrams for Actor Systems |
CHI
2007
ACM
15 years 10 months ago
2007
ACM
We study small distributed work groups capturing, managing, and reusing knowledge in a collaborative activity. We conceive this process as adaptation of a group to an activity and...
KBSE
1994
IEEE
15 years 1 months ago
1994
IEEE
This paper describes a formal approach to domain-oriented software design environments, based on declarative domain theories, formal specifications, and deductive program synthesi...
73
Voted
HICSS
2002
IEEE
15 years 2 months ago
2002
IEEE
The primary purpose of this paper is to describe the theoretical underpinnings of the construct Para-social Presence (PSP). Para-social presence refers to the extent to which a me...
ECAL
2007
Springer
15 years 1 months ago
2007
Springer
We identify two distinct themes in social science modelling. One, more specific, approach is that of social simulation which addresses how behaviour of many actors can lead to emer...
IASTEDSE
2004
14 years 11 months ago
2004
In the development of software with evolving requirements, activities of requirements-engineering and management are present through the whole software development process and aff...