2702 search results - page 221 / 541 » Practically Applicable Formal Methods |
100
click to vote
SIGCSE
2009
ACM
15 years 11 months ago
2009
ACM
Formal code inspections are employed by teams of professional software engineers to identify software defects and improve the quality of software. After reviewing a piece of code ...
POPL
2012
ACM
13 years 6 months ago
2012
ACM
In object-oriented programming, unique permissions to object references are useful for checking correctness properties such as consistency of typestate and noninterference of conc...
ICSE
2004
IEEE-ACM
15 years 11 months ago
2004
IEEE-ACM
Caring for security at requirements engineering time is a message that has finally received some attention recently. However, it is not yet very clear how to achieve this systemat...
IFM
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Service-oriented computing has emerged as a new programming paradigm that aims at implementing software applications which can be used through a network via the exchange ...
ICCSA
2007
Springer
15 years 5 months ago
2007
Springer
Computational origami is the computer assisted study of origami as a branch of science of shapes. The origami construction is a countably finite sequence of fold steps, each consi...