Sciweavers

2219 search results - page 301 / 444
» An environment for synchronous software development
Sort
View
HICSS
2000
IEEE
121views Biometrics» more  HICSS 2000»
14 years 2 months ago
Combining Data from Existing Company Data Sources: Architecture and Experiences
Combining and utilizing data from different sources is a common problem in many companies today. Useful data can be found in various applications, such as spreadsheets, project ma...
Jari Vanhanen, Kai Risku, Pekka Kilponen
ICSE
2009
IEEE-ACM
13 years 8 months ago
SmartTutor: Creating IDE-based interactive tutorials via editable replay
Interactive tutorials, like Eclipse's cheat sheets, are good for novice programmers to learn how to perform tasks (e.g., checking out a CVS project) in an Integrated Developm...
Ying Zhang, Gang Huang, Nuyun Zhang, Hong Mei
VSTTE
2010
Springer
13 years 8 months ago
Towards Scalable Modular Checking of User-Defined Properties
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...
Thomas Ball, Brian Hackett, Shuvendu K. Lahiri, Sh...
AOSD
2010
ACM
14 years 5 months ago
A theory of distributed aspects
Over the last five years, several systems have been proposed to take distribution into account in Aspect-Oriented Programming. While they appeared to be fruitful to develop or im...
Nicolas Tabareau
ADAEUROPE
2000
Springer
14 years 2 months ago
(True) Polymorphism in SPARK2000
of the Reliant Telco Platform, K. Wiesneth Safety-oriented INTERBUS INTERBUS Safety-, K. Meyer-Graefe Developing a Binding Process for Automated Program Recognition and Fault Local...
Tse-Min Lin, John A. McDermid