4917 search results - page 439 / 984 » Software Engineering is Not Computer Science |
130
click to vote
ACSC
2004
IEEE
15 years 8 months ago
2004
IEEE
The Unified Modeling Language (UML) is widely used in the software development process for specification of system based on the object-oriented paradigm. Thought the current versi...
137
click to vote
ENC
2006
IEEE
15 years 8 months ago
2006
IEEE
Dung's argumentation approach is a unifying approach which has played an influential role on argumentation research and Artificial Intelligence (AI). Based on a proper repres...
147
click to vote
IFIPTCS
2000
15 years 8 months ago
2000
Hierarchical state machines are finite state machines whose states themselves can be other machines. In spite of their popularity in many modeling tools for software design, very l...
182
click to vote
SPIN
2000
Springer
15 years 8 months ago
2000
Springer
Systematic state-space exploration is a powerful technique for veri cation of concurrent software systems. Most work in this area deals with manually-constructed models of those sy...
138
Voted
CSE
2009
IEEE
15 years 8 months ago
2009
IEEE
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...