465 search results - page 44 / 93 » Software copyright and role models |
PASTE
2005
ACM
14 years 3 months ago
2005
ACM
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...
EMSOFT
2006
Springer
13 years 12 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
CAISE
2006
Springer
14 years 1 months ago
2006
Springer
The quest for designing secure and trusted software has led to refined Software Engineering methodologies that rely on tools to support the design process. Automated reasoning mech...
ICSE
2003
IEEE-ACM
14 years 3 months ago
2003
IEEE-ACM
Architectural considerations play a key role in the success of any software-based development project. Architecture evaluation is an early risk reduction method for identifying ri...
CANDC
2007
ACM
14 years 1 months ago
2007
ACM
The increasing prevalence of user-led content production especially in online environments from the Wikipedia to open news publications and open source software development communi...