Sciweavers

13137 search results - page 130 / 2628
» A Science of Software Design
Sort
View
CSE
2009
IEEE
15 years 7 months ago
SCI: Towards a Social Collaborative Integrated Development Environment
Software development teams face challenges communicating with each other. This paper presents the design of a social real-time collaborative IDE called SCI that unifies the concep...
Hani Bani-Salameh, Clinton Jeffery, Jafar Al-Ghara...
AAAI
2006
15 years 5 months ago
TPBOSCourier: A Transportation Procurement System (for the Procurement of Courier Services)
TPBOSCourier is the Transportation Procurement and Bid Optimization System (TPBOS) for Philips Electronics to automate and optimize its procurement of courier services. It was joi...
Andrew Lim, Zhou Xu, Brenda Cheang, Wee-Kit Ho, St...
SPIN
2009
Springer
15 years 10 months ago
Tool Presentation: Teaching Concurrency and Model Checking
This paper describes a set of software tools developed for teaching concurrency and model checking. jSpin is an elementary development environment for Spin that formats and filter...
Mordechai Ben-Ari
ACSC
2006
IEEE
15 years 10 months ago
Identifying refactoring opportunities by identifying dependency cycles
The purpose of refactoring is to improve the quality of a software system by changing its internal design so that it is easier to understand or modify, or less prone to errors and...
Hayden Melton, Ewan D. Tempero
DMSN
2004
ACM
15 years 9 months ago
MEADOWS: modeling, emulation, and analysis of data of wireless sensor networks
In this position paper, we present MEADOWS, a software framework that we are building at HKUST (The Hong Kong University of Science and Technology) for modeling, emulation, and an...
Qiong Luo, Lionel M. Ni, Bingsheng He, Hejun Wu, W...