Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
Extended static checking for Java
PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
Bogor: an extensible and highly-modular software model checking framework
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Analyzing Interaction Orderings with Model Checking
Proceedings of the 19th IEEE international conference on Automated software engineering
An overview of JML tools and applications
International Journal on Software Tools for Technology Transfer (STTT) - Special section on formal methods for industrial critical systems
MultiJava: Design rationale, compiler implementation, and applications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems
ASE '06 Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering
Data Mining: Practical Machine Learning Tools and Techniques, Second Edition (Morgan Kaufmann Series in Data Management Systems)
Modeling and evaluating empathy in embodied companion agents
International Journal of Human-Computer Studies
On Accurate Automatic Verification of Publish-Subscribe Architectures
ICSE '07 Proceedings of the 29th international conference on Software Engineering
A Model Checking Approach to Verify BPEL4WS Workflows
SOCA '07 Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications
A JML Compiler Based on AspectJ
ICST '08 Proceedings of the 2008 International Conference on Software Testing, Verification, and Validation
Extended static checking in JML4: benefits of multiple-prover support
Proceedings of the 2009 ACM symposium on Applied Computing
Preliminary design of BML: a behavioral interface specification language for java bytecode
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Lifelike pedagogical agents and affective computing: an exploratory synthesis
Artificial intelligence today
JMF: Java measurement framework: language-supported runtime integrity measurement
Proceedings of the seventh ACM workshop on Scalable trusted computing
Hi-index | 0.00 |
Representing and reasoning about affect (i.e. emotion) is essential for producing believable characters and empathic interactions with users, both of which are necessary for effective entertainment and education. Leading applications of interest include pedagogical tools [1], military training simulations [2], and educational games [3].