asilva's analysis [52 articles] Export

Recent papers added to asilva's library classified by the tag analysis. You can also see everyone's analysis.

	On the similarity between requirements and architecture☆ [My Copy] Journal of Systems and Software (17 November 2008) by R. Deboer, H. Vanvliet posted to analysis architecture design problemframes requirements specifications by asilva on 2009-03-23 11:56:14 as along with 5 people and 1 group mattbiehl buchgeher patveck leonardo marcia Global Enterprise Architecture Community
	Software System Safety Handbook. A Technical & Managerial Team Approach [My Copy] (December 1999) posted to analysis design development engineering hazards lifecycle management requirements safety software standards techniques tender master by asilva on 2008-05-01 19:23:41 as
	Problem Oriented Software Engineering: Solving the Package Router Control Problem [My Copy] Software Engineering, IEEE Transactions on In Software Engineering, IEEE Transactions on, Vol. 34, No. 2. (2008), pp. 226-241. by J. G. Hall, L. Rapanotti, M. A. Jackson posted to analysis problemframes wsr by asilva on 2008-04-22 10:36:53 as along with 2 people bfraser leonardo
	The essential synthesis of problem frames and assurance cases [My Copy] Expert Systems, Vol. 25, No. 1. (February 2008), pp. 9-27. by Strunk, A. Elisabeth, Knight, C. John posted to analysis certification design engineering goals hazards management problemframes reporting safety safetycase software standards traceability by asilva on 2008-02-18 14:16:58 as
	Application of a Safety-Driven Design Methodology to An Outer Planet Exploration Mission [My Copy] In IEEE Aerospace Conference 2008, Big Sky, Montana (March 2008) by Brandon D. Owens, Margaret S. Herring, Nicholas Dulac, Nancy Leveson, Michel Ingham, Kathryn A. Weiss posted to analysis design hazards industry methods requirements safety by asilva on 2008-02-07 12:39:50 as
	A conceptual model for the analysis of mishaps in human-operated safety-critical systems [My Copy] Safety Science, Vol. 46, No. 1. (January 2008), pp. 22-37. by Jon G. Hall, Andres Silva posted to accidents analysis automation control design forensic formal hazards hazop hf methods models problemframes requirements risk safety scenarios sociotechnical software wsr master by asilva on 2007-12-12 09:08:33 as
	Safety analysis of software product lines using state-based modeling [My Copy] Journal of Systems and Software, Vol. 80, No. 11. (November 2007), pp. 1879-1892. by Jing Liu, Josh Dehlinger, Robyn Lutz posted to analysis fta modelling safety sfta spl vv by asilva on 2007-11-29 08:51:50 as along with 1 person benavides
	State/event fault trees—A safety analysis model for software-controlled systems [My Copy] Reliability Engineering & System Safety In SAFECOMP 2004, the 23rd International Conference on Computer Safety, Reliability and Security, Vol. 92, No. 11. (November 2007), pp. 1521-1537. by B. Kaiser, C. Gramlich, M. Forster posted to analysis fta reliability safety techniques by asilva on 2007-09-27 14:10:43 as
	The essential synthesis of problem frames and assurance cases [My Copy] In IWAAPF '06: Proceedings of the 2006 international workshop on Advances and applications of problem frames (2006), pp. 81-86. by Elisabeth A. Strunk, John C. Knight posted to analysis certification design engineering goals hazards management problemframes reporting safety safetycase software standards traceability by asilva on 2007-03-09 12:25:24 as
	The development of TRACEr: a technique for the retrospective analysis of cognitive errors in ATM [My Copy] In Engineering Psychology and Cognitive Ergonomics: Volume Three - Transportation Systems, Medical Ergonimics and Training (1999) by S. T. Shorrock, B. Kirwan edited by D. Harris posted to analysis engineering hazop hf human risk safety by asilva on 2007-02-26 16:13:49 as
	A HAZOP analysis of a future ATM system. [My Copy] In Contemporary Ergonomics (2000), pp. 2-6. by R. Kennedy, H. Jones, S. T. Shorrock, B. Kirwan edited by P. T. Mccabe, M. A. Hanson, S. A. Robertson posted to analysis engineering hazop hf human risk safety by asilva on 2007-02-19 19:30:34 as
	A Practical Framework for Identifying Human Safety Issues in ATM [My Copy] In IBC Conference on Human Error (February 2001) by R. Scaife, E. Smith, S. T. Shorrock posted to analysis hazop hci hf industry safety techniques by asilva on 2007-02-14 16:30:00 as
	Development and application of a human error identification tool for air traffic control [My Copy] Applied Ergonomics, Vol. 33, No. 4. (July 2002), pp. 319-336. by Steven T. Shorrock, Barry Kirwan posted to analysis engineering hazop hf human risk safety master by asilva on 2007-02-13 10:32:53 as
	Error classification for safety management: Finding the right approach. [My Copy] In Workshop on the Investigation and Reporting of Incidents and (2002) by S. T. Shorrock posted to safety risk human hf engineering analysis by asilva on 2007-02-07 18:33:04 as
	Individual and group approaches to human error prediction - a tale of three systems [My Copy] In Third IBC Conference on Human Error (2003) by S. T. Shorrock, B. Kirwan, E. Smith posted to safety risk human hf hazop engineering analysis by asilva on 2007-02-07 18:28:42 as
	Risk analysis in plant commissioning: the Multilevel Hazop [My Copy] Reliability Engineering & System Safety, Vol. 77, No. 3. (September 2002), pp. 309-323. by E. Cagno, F. Caron, M. Mancini posted to safety risk human hf hazop engineering analysis by asilva on 2007-02-07 16:32:38 as
	The essential components of software architecture design and analysis [My Copy] Journal of Systems and Software, Vol. 79, No. 8. (August 2006), pp. 1207-1216. by Rick Kazman, Len Bass, Mark Klein posted to analysis architecture components design methods nfr process software techniques by asilva on 2006-11-23 15:40:58 as along with 3 people buchgeher marcia ingstrup
	A survey of logic formalisms to support mishap analysis [My Copy] Reliability Engineering & System Safety, Vol. 80, No. 3. (June 2003), pp. 271-291. by Chris Johnson, C. M. Holloway posted to accidents analysis formal mishaps survey by asilva on 2006-11-19 18:32:57 as
	The Strengths and Weaknesses of Logic Formalisms to Support Mishap Analysis [My Copy] In Proceedings of the 21st International System Safety Conference (4--8 August 2003, Ottawa, Ontario, Canada), pp. 1133-1142. by C. W. Johnson, C. M. Holloway posted to accidents analysis formal methods safety by asilva on 2006-11-09 10:24:12 as
	The Natural History of Bugs: Using Formal Methods to Analyse Software Related Failures in Space Missions [My Copy] In Formal Methods Europe 2005 (2005), pp. 9-25. by C. W. Johnson edited by J. S. Fitzgerald, I. J. Hayes, A. Tarlecki posted to analysis failure methods reliability safety software by asilva on 2006-10-16 11:06:15 as
	RIFIT: analyzing hardware and software in safeguarding systems [My Copy] Reliability Engineering & System Safety, Vol. 66, No. 2. (November 1999), pp. 149-156. by A. C. Brombacher, I. W. R. J. van Beurden posted to analysis industry safety methods by asilva on 2006-09-20 09:36:29 as
	Requirements analysts must also be inventors [My Copy] Software, IEEE, Vol. 22, No. 1. (2005), 48, 50. by J. Robertson posted to analysis creativity requirements by asilva on 2006-09-08 10:55:08 as
	Problem Frames: A Case for Coordination. [My Copy] In Coordination Models and Languages, 6th International Conference, (2004), pp. 5-19. by Leonor Barroca, Jose L. Fiadeiro, Michael Jackson, Robin C. Laney, Bashar Nuseibeh posted to analysis problemframes requirements by asilva on 2006-09-08 10:51:52 as
	A framework for software problem analysis [My Copy] No. 2005/05. (2005) by Jon G. Hall, Lucia Rapanotti posted to analysis architecture problemframes by asilva on 2006-06-10 13:02:10 as
	Integrated Analysis of Complex Safety Critical Systems. [My Copy] Comput. J., Vol. 38, No. 10. (1995), pp. 765-776. by Stephen P. Wilson, John A. Mcdermid posted to analysis engineering inconsistencies safety safetycase viewpoints by asilva on 2006-05-11 21:58:32 as along with 1 person thomek
	Evolving car designs using model-based automated safety analysis and optimisation techniques [My Copy] Journal of Systems and Software In Computer Software and Applications, Vol. 76, No. 1. (April 2005), pp. 77-89. by Yiannis Papadopoulos, Christian Grante posted to analysis industry models optimisation requirements safety techniques by asilva on 2006-05-11 12:14:45 as
	An approach to formal automated analysis of problem-frame concerns [My Copy] Information and Software Technology, Vol. 47, No. 14. (November 2005), pp. 913-927. by Maria A. Nelson, Torsten Nelson, Paulo Alencar, Don Cowan posted to analysis problemframes by asilva on 2006-01-11 18:37:53 as
	Towards Integrated Safety Analysis and Design [My Copy] Applied Computing Review, Vol. 2, No. 1. (1994), pp. 21-32. by P. Fenelon, J. Mcdermid, M. Nicholson, D. Pumfrey posted to analysis design safety safetycase by asilva on 2005-09-12 17:31:46 as
	An Approach to Design for Safety in Complex Systems [My Copy] In Int. Conference on System Engineering (INCOSE '04) (June 2004) by Nicolas Dulac, Nancy Leveson posted to accidents analysis design hazards models safety by asilva on 2005-08-19 16:47:22 as
	Integrated safety analysis of requirements specifications [My Copy] Requirements Engineering, 1997., Proceedings of the Third IEEE International Symposium on (1997), pp. 148-159. by F. Modugno, N. G. Leveson, J. D. Reese, K. Partridge, S. D. Sandys posted to analysis requirements safety specifications by asilva on 2005-08-15 12:59:40 as
	Software Deviation Analysis [My Copy] Software Engineering, 1997., Proceedings of the 1997 (19th) International Conference on (1997), pp. 250-260. by J. D. Reese, N. G. Leveson posted to analysis hazop software by asilva on 2005-08-15 12:52:17 as
	Empirical analysis of safety-critical anomalies during operations [My Copy] Software Engineering, IEEE Transactions on, Vol. 30, No. 3. (2004), pp. 172-180. by R. R. Lutz, I. C. Mikulski posted to analysis fault management reporting safety software specifications taxonomy techniques by asilva on 2005-08-15 12:25:07 as along with 1 person pipitone
	Operational anomalies as a cause of safety-critical requirements evolution [My Copy] Journal of Systems and Software, Vol. 65, No. 2. (15 February 2003), pp. 155-161. by Robyn Lutz, Carmen Mikulski posted to analysis hazards reporting requirements safety software specifications techniques traceability vv by asilva on 2005-08-15 12:19:29 as along with 1 person neilernst
	Context in the Risk Assessment of Digital Systems [My Copy] Risk Analysis, Vol. 19, No. 1. (February 1999), pp. 23-32. by Chris Garrett, George Apostolakis posted to analysis hazards safety software vv by asilva on 2005-08-15 12:09:37 as
	Principles underlying a guideline for applying HAZOP to programmable electronic systems [My Copy] Reliability Engineering & System Safety, Vol. 55, No. 3. (March 1997), pp. 283-293. by F. Redmill, M. F. Chudleigh, J. R. Catmur posted to analysis hazards hazop safety software by asilva on 2005-08-15 11:54:53 as
	An impact analysis method for safety-critical user interface design [My Copy] ACM Trans. Comput.-Hum. Interact., Vol. 6, No. 4. (December 1999), pp. 341-369. by Julia Galliers, Alistair Sutcliffe, Shailey Minocha posted to analysis design hci hf safety by asilva on 2005-08-15 11:49:34 as along with 1 person eyu
	Proving properties of accidents [My Copy] Reliability Engineering & System Safety, Vol. 67, No. 2. (February 2000), pp. 175-191. by C. W. Johnson posted to accidents analysis formal models reporting by asilva on 2005-08-15 11:09:12 as
	Demonstration of the Dynamic Flowgraph Methodology using the Titan II Space Launch Vehicle Digital Flight Control System [My Copy] Reliability Engineering & System Safety, Vol. 49, No. 3. (1995), pp. 335-353. by M. Yau, S. Guarro, G. Apostolakis posted to analysis methods safety techniques vv by asilva on 2005-08-15 11:02:49 as
	Anatomy of safety-critical computing problems [My Copy] Reliability Engineering & System Safety, Vol. 50, No. 1. (1995), pp. 69-78. by Swu Yih, Chin-Feng Fan, Behrooz Shirazi posted to analysis reference safety software survey by asilva on 2005-08-15 10:57:40 as
	Safety assessment and the software requirements specification [My Copy] Reliability Engineering & System Safety, Vol. 55, No. 3. (March 1997), pp. 295-309. by E. J. Broomfield, P. W. H. Chung posted to analysis requirements safety software specifications vv by asilva on 2005-08-15 10:55:16 as
	A proposal for performing software safety hazard analysis [My Copy] Reliability Engineering & System Safety, Vol. 55, No. 3. (March 1997), pp. 267-282. by J. D. Lawrence, J. M. Gallagher posted to analysis hazards methods safety software by asilva on 2005-08-15 10:53:12 as
	The use of prime implicants in dependability analysis of software controlled systems [My Copy] Reliability Engineering & System Safety, Vol. 62, No. 1-2. (11 October 1998), pp. 23-32. by Michael Yau, George Apostolakis, Sergio Guarro posted to accidents analysis formal fta hazards sfta software by asilva on 2005-08-15 10:51:01 as
	Accident sequence analysis of human-computer interface design [My Copy] Reliability Engineering & System Safety, Vol. 67, No. 1. (January 2000), pp. 29-40. by Fan, Chen posted to accidents analysis forensic hci by asilva on 2005-08-15 10:43:45 as
	A systematic approach to safety case maintenance [My Copy] Reliability Engineering & System Safety, Vol. 71, No. 3. (March 2001), pp. 271-284. by T. P. Kelly, J. A. Mcdermid posted to analysis management safety by asilva on 2005-08-15 10:33:32 as
	Automated hazard analysis of digital control systems [My Copy] Reliability Engineering & System Safety, Vol. 77, No. 1. (July 2002), pp. 1-17. by Chris J. Garrett, George E. Apostolakis posted to accidents analysis hazards safety software tools by asilva on 2005-08-15 10:29:42 as
	Structured Analysis (SA): A language for communicating ideas [My Copy] IEEE Transactions on Software Engineering, Vol. 3, No. 16. (1977) by D. T. Ross posted to analysis design models requirements structured by asilva on 2005-08-13 17:01:15 as along with 1 person ferfox
	Critical feature analysis of a radiotherapy machine [My Copy] Reliability Engineering & System Safety, Vol. 89, No. 1. (July 2005), pp. 48-56. by Andrew Rae, Daniel Jackson, Prasad Ramanan, Jay Flanz, Didier Leyman posted to analysis causal features safety software specifications by asilva on 2005-08-11 12:55:00 as
	Enhancing software safety by fault trees: experiences from an application to flight critical software [My Copy] Reliability Engineering & System Safety, Vol. 89, No. 1. (July 2005), pp. 57-70. by Wolfgang Weber, Heidemarie Tondok, Michael Bachmayer posted to analysis fta safety sfta software specifications vv by asilva on 2005-08-11 12:52:29 as
	An effective technique for the software requirements analysis of NPP safety-critical systems, based on software inspection, requirements traceability, and formal specification [My Copy] Reliability Engineering & System Safety, Vol. 89, No. 3. (September 2005), pp. 248-260. by Seo R. Koo, Poong H. Seong, Junbeom Yoo, Sung D. Cha, Yeong J. Yoo posted to analysis engineering formal requirements safety software specifications by asilva on 2005-08-11 12:47:02 as along with 1 person florianschneider
	Software tools to support incident reporting in safety-critical systems [My Copy] Safety Science, Vol. 40, No. 9. (December 2002), pp. 765-780. by Chris Johnson posted to analysis forensic mishaps requirements safety software by asilva on 2005-08-11 11:36:13 as

Note: You may cite this page as: http://www.citeulike.org/user/asilva/tag/analysis

Result page: 1 2 Next

requirements	186
safety	153
software	125
engineering	119
industry	67
reference	65
management	56
analysis	52
inconsistencies	51
formal	48
viewpoints	48
design	47
specifications	46
hf	41
methods	40
km	39
accidents	32
hci	30
techniques	28
models	24
master	24
problemframes	23
architecture	21
hazards	20
spl	20
sos	20
reliability	19
empirical	19
vv	18
wsr	18
hazop	18
tools	18
history	18
survey	18
modelling	18
risk	17
human	16
infrastructures	15
safetycase	15
research	14
failure	14
goals	13
process	13
knowledge	12
elicitation	12
is2	12
sociotechnical	11
it	11
fta	11
mishaps	11
features	11
forensic	11
standards	10
traceability	10
teaching	9
reporting	9
education	9
practice	8
profession	8
sota	7
security	7
uml	7
organizational	7
cites_me	7
ai	7
multiparadigm	6
productivity	6
conceptualization	6
control	6
quality	6
cognitive	6
language	6
z	6
philosophy	6
logic	6
ll	6
report	6
oo	5
sfta	5
lifecycle	5
development	5
conflicts	5
complexity	5
theory	5
principles	5
evaluation	5
cscw	4
interaction	4
product	4
certification	4
usability	4
medicine	4
error	4
automation	4
nfr	4
scenarios	4
services	4
experimentation	4
scr	3
taxonomy	3
web	3
negotiation	3
psychology	3
examples	3
social	3
creativity	3
fault	3
licensing	3
usecases	3
causal	3
real-time	2
patterns	2
mind	2
i-star	2
metrics	2
cm	2
alarms	2
mdd	2
concurrency	2
ontologies	2
nuclear	2
economics	2
ffa	2
components	2
strategy	2
inspections	2
jcs	2
factors	2
monitoring	2
visualization	2
tender	2
rm	2
xml	2
projects	2
fop	2
spi	1
ssm	1
voting	1
reuse	1
opinion	1
semanticweb	1
tolerance	1
qfd	1
modeling	1
paradoxes	1
optimisation	1
teamwork	1
is	1
kbs	1
organization	1
aspects	1
factor	1
bioinformatics	1
hta	1
hra	1
structured	1
bsc	1
errors	1
hypertext	1
networks	1
market	1
e-learning	1
cots	1
multimedia	1
learning	1
embedded	1
testing	1
thought	1
dsl	1
pkm	1
agents	1
computing	1
fuzzy	1
video	1
ethnography	1
quantum	1

asilva's analysis [52 articles] Export

asilva's tags