2700 search results - page 48 / 540 » The role of abstraction in software engineering |
124
click to vote
APSEC
2008
IEEE
16 years 18 days ago
2008
IEEE
straction to Verify Arbitrary Temporal Properties Amir Pnueli New York University and Weizmann Institute of Sciences (Emeritus) Perspectives in Concurrency Theory, Chennai, 15 Dece...
156
click to vote
AI
2000
Springer
15 years 6 months ago
2000
Springer
Agent-based computing represents an exciting new synthesis both for Artificial Intelligence (AI) and, more generally, Computer Science. It has the potential to significantly impro...
151
click to vote
APSEC
2000
IEEE
15 years 10 months ago
2000
IEEE
of modelling abstractions to map from items in the real-world to objects in the computational domain is oth for the effective implementation of abstract problem solutions and for ...
173
click to vote
AOSE
2004
Springer
15 years 11 months ago
2004
Springer
AOSE methodologies and models borrow various abstractions and concepts from the organization and sociology disciplines. Although they all ti-agent system as organized society, the ...
151
click to vote
FASE
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. The problem of interpreting the results of software performance analysis is very critical. Software developers expect feedbacks in terms of architectural design alternati...