Sciweavers

2625 search results - page 187 / 525
» The development of the Emerald programming language
Sort
View
VL
2006
IEEE
15 years 10 months ago
Using Visual Momentum to Explain Disorientation in the Eclipse IDE
We report on a field study about how software developers experience disorientation when using the Eclipse Java integrated development environment. We analyzed the data using the ...
Brian de Alwis, Gail C. Murphy
122
Voted
BIRTHDAY
2008
Springer
15 years 6 months ago
From Monadic Logic to PSL
One of the surprising developments in the area of program verification is how ideas introduced originally by logicians in the 1950s ended up yielding by 2003 an industrial-standard...
Moshe Y. Vardi
132
Voted
ECOOP
2007
Springer
15 years 10 months ago
IDE-integrated Support for Schema Evolution in Object-Oriented Applications
When an application retrieves serialized objects for which the class has changed, it may have to cope with modifications of the semantics. While there are numerous ways to handle t...
Marco Piccioni, Manuel Oriol, Bertrand Meyer
ECOOP
2007
Springer
15 years 8 months ago
Product Line Variability Refactoring Tool
With the growing academic and industrial interest in Software Product Lines (SPL), one area demanding special attention is tool support development, which is a pre-requisite for w...
Fernando Calheiros, Vilmar Nepomuceno, Paulo Borba...
116
Voted
SAS
2004
Springer
15 years 10 months ago
Spatial Analysis of BioAmbients
Abstract. Programming language technology can contribute to the development and understanding of Systems Biology by providing formal calculi for specifying and analysing the dynami...
Hanne Riis Nielson, Flemming Nielson, Henrik Pileg...