MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Software Deviation Analysis." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 5 documents found, showing 1 through 5.
ATOM RSS
  • Deviation Analysis Through Model Checking  
  • by Mats Heimdahl Yunja, Mats P. E. Heimdahl, Yunja Choi, Mike Whalen — 2002 — In Proceedings of IEEE International Automated Software Engineering Conference, ASE 2002. IEEE Computer
  • … in the inputs. Deviation analysis can be used to determine how a software specification will behave in the face…
  • Add To MetaCart
  • Demonstration of a Safety Analysis on a Complex System  
  • by N. Leveson, Leveson Alfaro Alvarado, C. Alvarado, M. Brown, E. B. Hunt, M. Jaffe, S. Joslyn, D. Pinnel, J. Reese, J. Samarziya, A. Shaw, Z. Zabinsky — 1997 — in Software Engineering Laboratory Workshop. NASA
  • … solve this problem using a new forward analysis technique for software called Software Deviation…
  • Cited by 3 (2 self) – Add To MetaCart
  • SpecTRM: A CAD System for Digital Automation  
  • by Nancy Leveson Mit, Nancy G. Leveson, Jon Damon Reese, Safeware Engineering Corp — 1998 — In Proceedings of the 17th Digital Avionics Systems Conference
  • … and Visualization Completeness and Consistency Analysis Software Deviation Analysis Hazard Analysis Operator Task…
  • Add To MetaCart
Help! Showing 1 through 5.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB