Sciweavers

354 search results - page 11 / 71
» Method construction - a core approach to organizational engi...
Sort
View
AGENTS
2001
Springer
14 years 4 days ago
Representing social structures in UML
From a software engineering perspective, agent systems are a specialization of object-oriented (OO) systems, in which individual objects have their own threads of control and thei...
H. Van Dyke Parunak, James Odell
POPL
2008
ACM
14 years 8 months ago
Engineering formal metatheory
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...
Arthur Charguéraud, Benjamin C. Pierce, Bri...
MODELS
2009
Springer
14 years 2 months ago
Feature-oriented programming with Ruby
Features identify core characteristics of software in order to produce families of programs. Through configuration, different variants of a program can be composed. Our approach...
Sebastian Günther, Sagar Sunkle
SCAM
2006
IEEE
14 years 1 months ago
Constructing Accurate Application Call Graphs For Java To Model Library Callbacks
Call graphs are widely used to represent calling relationships among methods. However, there is not much interest in calling relationships among library methods in many software e...
Weilei Zhang, Barbara G. Ryder
DIGRA
2005
Springer
14 years 1 months ago
A Sociotechnical Conjecture about the Context and Development of Multiplayer Online Game Experiences
The advent of multiplayer online games brings new actors into the development scene and redefines traditional roles and interactions. Anchored on studies of the role of context in...
Licinio Roque