Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
16725
search results - page 277 / 3345
»
Engineering Software Correctness
Sort
relevance
views
votes
recent
update
View
thumb
title
96
Voted
AIM
1999
68
views
Software Engineering
»
more
AIM 1999
»
The Importance of Importance
15 years 3 months ago
Download
www.eeza.csic.es
David L. Waltz
claim paper
Read More »
102
Voted
AIM
1999
97
views
Software Engineering
»
more
AIM 1999
»
Recent Advances in AI Planning
15 years 3 months ago
Download
www.cim.mcgill.ca
Daniel S. Weld
claim paper
Read More »
106
Voted
RE
1998
Springer
70
views
Software Engineering
»
more
RE 1998
»
Scenario-Based Techniques for Supporting the Elaboration and the Validation of Formal Requirements
15 years 3 months ago
Download
sunsite.informatik.rwth-aachen.de
Patrick Heymans, Eric Dubois
claim paper
Read More »
101
Voted
RE
2002
Springer
121
views
Software Engineering
»
more
RE 2002
»
Tool-Based Risk Management Made Practical
15 years 3 months ago
Download
documents.vsect.chalmers.se
Holger Doernemann
claim paper
Read More »
101
click to vote
RE
2002
Springer
99
views
Software Engineering
»
more
RE 2002
»
Managing (Requirements) Evolutions of High Assurance Systems
15 years 3 months ago
Download
www.ida.liu.se
Michel Lemoine, Jack Foisseau
claim paper
Read More »
« Prev
« First
page 277 / 3345
Last »
Next »