985 search results - page 65 / 197 » Abstract Interactions and Interaction Refinement in Model-Dr... |
126
Voted
ESAW
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Software engineering describes a system at different levels of abstraction. Agent-oriented software engineering introduces a new level, called the agent level, to allow t...
148
Voted
ACSD
2006
IEEE
15 years 5 months ago
2006
IEEE
Reuse of IP blocks has been advocated as a means to conquer the complexity of today's system-on-chip (SoC) designs. Component integration and verification in such systems is ...
124
Voted
ISCIS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Commitments are a powerful abstraction for representing the interactions between agents. Commitments capture the content of the interactions declaratively and allow agent...
126
Voted
ICCHP
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. There is a real need to have systems for people with visual disabilities to be able to improve their orientation and mobility skills, and especially for children to be ab...
140
Voted
TCS
2002
15 years 3 months ago
2002
We show how formal specifications can be integrated into one of the current pragmatic object-oriented software development methods. Jacobson's "Object-Oriented Software ...