6274 search results - page 568 / 1255 » Proofs, Programs, Processes |
171
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
The earlier in the software process a fault is detected, the cheaper the cost of fixing the fault. Automated fault detection tools can provide developers with information througho...
221
click to vote
ISSTA
2006
ACM
16 years 1 months ago
2006
ACM
Existing test suite reduction techniques employed for testing web applications have either used traditional program coverage-based requirements or usage-based requirements. In thi...
195
click to vote
DFG
2004
Springer
16 years 25 days ago
2004
Springer
Programmable Logic Controllers (PLC) are widely used as device controllers for assembly lines, chemical processes, or power plants. Sequential Function Charts (SFC) form one of the...
205
click to vote
ECOOP
2010
Springer
16 years 7 days ago
2010
Springer
The paper introduces Self-Replicating Objects (SROs), a new nt programming abstraction. An SRO is implemented and used much like an ordinary .NET object and can expose arbitrary us...
343
click to vote
POPL
2008
ACM
16 years 7 months ago
2008
ACM
Communication is becoming one of the central elements in software development. As a potential typed foundation for structured communication-centred programming, session types have...