Sciweavers

728 search results - page 67 / 146
» Bristlecone: Language Support for Robust Software Applicatio...
Sort
View
ATAL
2008
Springer
13 years 10 months ago
A flexible framework for verifying agent programs
There is an increasing number of agent-oriented programming languages that have working interpreters and platforms, with significant progress in the quality of such platforms over...
Louise A. Dennis, Berndt Farwer, Rafael H. Bordini...
ECOOP
2009
Springer
14 years 9 months ago
Debugging Method Names
Meaningful method names are crucial for the readability and maintainability of software. Existing naming conventions focus on syntactic details, leaving programmers with little or ...
Bjarte M. Østvold, Einar W. Høst
NLDB
2007
Springer
14 years 2 months ago
Automatic Issue Extraction from a Focused Dialogue
Various methodologies for structuring the process of domain modeling have been proposed, but there are few software tools that provide automatic support for the process of construc...
Koen V. Hindriks, Stijn Hoppenbrouwers, Catholijn ...
ADAEUROPE
2009
Springer
14 years 3 months ago
Weak Fairness Semantic Drawbacks in Java Multithreading
With the development of embedded and mobile systems, Java is widely used for application programs and is also considered for implementing systems kernel or application platforms. I...
Claude Kaiser, Jean-François Pradat-Peyre
ATVA
2010
Springer
93views Hardware» more  ATVA 2010»
13 years 6 months ago
A Specification Logic for Exceptions and Beyond
Exception handling is an important language feature for building more robust software programs. It is primarily concerned with capturing abnormal events, with the help of catch han...
Cristian Gherghina, Cristina David