Sciweavers

4241 search results - page 237 / 849
» A Knowledge-Based Software Information System
Sort
View
ICSE
2007
IEEE-ACM
16 years 5 months ago
Mining Software Engineering Data
Software engineering data (such as code bases, execution traces, historical code changes, mailing lists, and bug databases) contains a wealth of information about a project's...
Tao Xie, Jian Pei, Ahmed E. Hassan
ICSE
2008
IEEE-ACM
16 years 5 months ago
The economy of collective attention for situated knowledge collaboration in software development
Because the knowledge required for the construction of a complex software system is often widely distributed among its members, programmers routinely engage in collaboration with ...
Yunwen Ye, Kumiyo Nakakoji, Yasuhiro Yamamoto
KBSE
2009
IEEE
15 years 11 months ago
SMT-Based Bounded Model Checking for Embedded ANSI-C Software
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...
Lucas Cordeiro, Bernd Fischer, João Marques...
ITICSE
2003
ACM
15 years 10 months ago
Teaching undergraduate software design in a liberal arts environment using RoboCup
Most large research universities include a software design or software development course as a required or elective component of an undergraduate computer science major. For vario...
Timothy Huang, Frank Swenton
ICSM
2002
IEEE
15 years 10 months ago
An Empirical Study of Distributed Software Maintenance
A large software project may be distributed over multiple sites when the organization believes that there are not enough people to staff a single collocated team. However, previou...
Alessandro Bianchi, Danilo Caivano, Filippo Lanubi...