15784 search results - page 912 / 3157 » Mega Software Engineering |
181
Voted
ICSE
2010
IEEE-ACM
16 years 14 days ago
2010
IEEE-ACM
Though verification tools are finding industrial use, the utility of engineering optimizations that make them scalable and usable is not widely known. Despite the fact that seve...
310
click to vote
TCSB
2010
15 years 6 months ago
2010
Biomodel engineering is the science of designing, constructing and analyzing computational models of biological systems. It forms a systematic and powerful extension of earlier mat...
199
click to vote
ACSC
2004
IEEE
15 years 11 months ago
2004
IEEE
An approach to system verification is described in which design artefacts produced during forward engineering are automatically compared to corresponding artefacts produced during...
215
click to vote
SIGSOFT
2003
ACM
16 years 8 months ago
2003
ACM
Program slicing is a technique to identify statements that may influence the computations at other statements. Precise slicing has been shown to be undecidable for concurrent prog...
212
click to vote
ICSE
2007
IEEE-ACM
16 years 7 months ago
2007
IEEE-ACM
We propose a mechanism for object access control which is based on the UML. Specifically, we propose use of ownership and immutability constraints on UML associations and verifica...