Sciweavers

2219 search results - page 90 / 444
» An environment for synchronous software development
Sort
View
TACAS
2005
Springer
112views Algorithms» more  TACAS 2005»
14 years 2 months ago
Java-MOP: A Monitoring Oriented Programming Environment for Java
Abstract. A Java-based tool-supported software development and analysis framework is presented, where monitoring is a foundational principle. Expressive requirements specification...
Feng Chen, Grigore Rosu
AOSD
2006
ACM
14 years 3 months ago
Using aspects to support the software process: XP over Eclipse
Usually, aspects enhance a software product by being composed - or woven - into it. Here, on the other hand, we use aspects to support the software development process itself. The...
Oren Mishali, Shmuel Katz
AUTONOMICS
2008
ACM
13 years 11 months ago
Verification and semantic parallelization of goal-driven autonomous software
Future space missions such as the Mars Science Laboratory demand the engineering of some of the most complex manrated autonomous software systems. According to some recent estimat...
Damian Dechev, Nicolas Rouquette, Peter Pirkelbaue...
ESE
1998
131views Database» more  ESE 1998»
13 years 8 months ago
A Comparison of Tool-Based and Paper-Based Software Inspection
Software inspection is an e ective method of defect detection. Recent research activity has considered the development of tool support to further increase the e ciency and e ectiv...
F. MacDonald, J. Miller
HUMAN
2005
Springer
14 years 2 months ago
A Groupware Design for Supporting International Medical Collaboration over the Internet
Abstract. A groupware that integrates synchronous and asynchronous collaboration paradigms is developed to support international medical collaboration activities carried out among ...
Duminda Nishantha, Yukuo Hayashida, Takeshi Katsuk...