asilva's methods [40 articles] Export

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

	Model checking: algorithmic verification and debugging [My Copy] Commun. ACM, Vol. 52, No. 11. (2009), pp. 74-84. by Edmund M. Clarke, E. Allen Emerson, Joseph Sifakis posted to survey reference methods formal by asilva on 2009-11-12 10:17:18 as
	Software model checking [My Copy] ACM Comput. Surv., Vol. 41, No. 4. (2009), pp. 1-54. by Ranjit Jhala, Rupak Majumdar posted to survey reference methods formal by asilva on 2009-11-12 09:02:22 as along with 3 people zhensong michaelbanks leonardo
	Using formal specifications to support testing [My Copy] ACM Computing Surveys, Vol. 41, No. 2. (2009), pp. 1-76. by Robert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, et al.Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul Krause, Gerald Lüttgen, Anthony J. H. Simons, Sergiy Vilkomir, Martin R. Woodward, Hussein Zedan posted to testing software safety methods formal by asilva on 2009-08-25 12:00:07 as along with 2 people michaelbanks leonardo
	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
	A Methodology for Safety Case Development [My Copy] In Industrial Perspectives of Safety-critical Systems: Proceedings of the Sixth Safety-critical Systems Symposium, Birmingham 1998 (1998), pp. 194-203. by Peter Bishop, Robin Bloomfield edited by Felix Redmill, Tom Anderson posted to methods safety safetycase tools by asilva on 2007-11-08 11:30:04 as
	Alloy: a lightweight object modelling notation [My Copy] ACM Trans. Softw. Eng. Methodol., Vol. 11, No. 2. (April 2002), pp. 256-290. by Daniel Jackson posted to modelling design formal methods oo reliability by asilva on 2007-10-24 10:46:06 as along with 5 people sgwyj bfraser leonardo phoenix sjgaller
	The mystery of formal methods disuse [My Copy] Commun. ACM, Vol. 47, No. 8. (August 2004), pp. 15-17. by Robert L. Glass posted to formal methods practice by asilva on 2007-10-04 09:00:41 as along with 1 person leonardo
	Requirements process improvement through the phased introduction of good practice [My Copy] Software Process: Improvement and Practice, Vol. 3, No. 1. (1997), pp. 19-34. by Peter Sawyer, Ian Sommerville, Stephen Viller posted to engineering methods practice process requirements teaching by asilva on 2007-03-10 09:34:24 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
	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
	Towards modelling and reasoning support for early-phase requirements engineering [My Copy] Requirements Engineering, 1997., Proceedings of the Third IEEE International Symposium on (1997), pp. 226-235. by E. Yu posted to i-star methods modelling requirements techniques by asilva on 2006-09-08 11:32:07 as along with 5 people christiand eystein neilernst sga72 yijunyu
	Viewpoints for requirements elicitation: a practical approach [My Copy] Requirements Engineering, 1998. Proceedings. 1998 Third International Conference on (1998), pp. 74-81. by I. Sommerville, P. Sawyer, S. Viller posted to elicitation methods requirements viewpoints by asilva on 2006-09-08 11:25:19 as
	On the Notion of Variability in Software Product Lines [My Copy] In WICSA '01: Proceedings of the Working IEEE/IFIP Conference on Software Architecture (WICSA'01) (2001) by Jilles Van Gurp, Jan Bosch, Mikael Svahnberg posted to architecture features methods requirements spl by asilva on 2006-09-07 19:57:00 as along with 3 people and 1 group jhs06r RalfMitschke MichaelMoser Software Product Line
	XML-based method and tool for handling variant requirements in domain models [My Copy] Requirements Engineering, 2001. Proceedings. Fifth IEEE International Symposium on (2001), pp. 166-173. by S. Jarzabek, Hongyu Zhang posted to features methods models requirements spl xml by asilva on 2006-09-07 19:51:15 as
	Exploring Requirements: Quality Before Design [My Copy] by Donald C. Gause, Gerald M. Weinberg posted to methods reference requirements elicitation engineering inconsistencies is2 by asilva on 2006-09-05 20:23:07 as
	Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure [My Copy] Reliability Engineering & System Safety, Vol. 71, No. 3. (March 2001), pp. 229-247. by Y. Papadopoulos, J. Mcdermid, R. Sasse, G. Heiner posted to alarms engineering ffa fta hazop methods monitoring safety safetycase software by asilva on 2006-05-11 11:08:52 as
	Designing safety-critical computer systems [My Copy] Computer, Vol. 36, No. 11. (2003), pp. 40-46. by W. R. Dunn posted to design methods safety techniques tools by asilva on 2006-04-10 10:10:52 as
	A practical framework for eliciting and modeling system dependability requirements: Experience from the NASA high dependability computing project [My Copy] Journal of Systems and Software, Vol. 79, No. 1. (January 2006), pp. 107-119. by Paolo Donzelli, Victor Basili posted to safety requirements reliability modelling methods industry elicitation by asilva on 2006-03-14 11:20:27 as
	Advancing Candidate Link Generation for Requirements Tracing: The Study of Methods [My Copy] Software Engineering, IEEE Transactions on, Vol. 32, No. 1. (2006), pp. 4-19. by J. H. Hayes, A. Dekhtyar, S. K. Sundaram posted to engineering methods requirements traceability by asilva on 2006-02-03 10:17:03 as along with 2 people yijunyu lei
	Requirements Engineering: A Good Practice Guide [My Copy] (16 April 1997) by Ian Sommerville, Pete Sawyer posted to is2 methods practice requirements by asilva on 2005-08-26 08:31:29 as along with 4 people PreciousJ mluckey FloWiBri neilernst
	Comparing design options for allocating communication media in cooperative safety-critical contexts: a method and a case study [My Copy] ACM Trans. Comput.-Hum. Interact., Vol. 6, No. 4. (December 1999), pp. 370-398. by Robert Fields, Fabio Paternó, Carmen Santoro, Sophie Tahmassebi posted to design hci hf methods safety by asilva on 2005-08-15 17:22:32 as
	A Model for Types and Levels of Human Interaction with Automation [My Copy] IEEE Transactions on System, Man and Cybernetics, Vol. 30, No. 3. (May 2000), pp. 286-297. by Raja Parasuraman, Thomas B. Sheridan, Christopher D. Wickens posted to automation design hci hf methods by asilva on 2005-08-15 11:42:09 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
	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
	Safeware : System Safety and Computers [My Copy] (07 April 1995) by Nancy Leveson posted to accidents engineering failure forensic fta hazards hci hf methods mishaps reference requirements safety sfta software master by asilva on 2005-08-13 23:22:16 as along with 2 people embersp ianwelch
	Software Development With Z: A Practical Approach to Formal Methods in Software Engineering [My Copy] (01 July 1992) by John Wordsworth posted to formal methods software specifications z by asilva on 2005-08-13 19:27:14 as
	201 Principles of Software Development [My Copy] (07 March 1995) by Alan M. Davis posted to engineering methods principles software techniques tools by asilva on 2005-08-13 19:22:43 as
	Guide to Applying Human Factors Methods [My Copy] (15 September 2004) by Pietro C. Cacciabue posted to accidents engineering forensic hazards hci hf methods mishaps reference requirements safety techniques master by asilva on 2005-08-13 19:00:48 as
	Rapid application of lightweight formal methods for consistency analyses [My Copy] IEEE Trans. Softw. Eng., Vol. 24, No. 11. (November 1998), pp. 948-959. by Martin S. Feather posted to formal inconsistencies methods by asilva on 2005-08-13 18:54:46 as along with 1 person neilernst
	A specifier's introduction to formal methods [My Copy] IEEE software, Vol. 23, No. 9. (Sept 1990) by J. M. Wing posted to engineering formal methods requirements software specifications by asilva on 2005-08-13 17:01:15 as
	Method engineering for multi-perspective software development [My Copy] Information and Software Technology, Vol. 38 (1996), pp. 267-274. by B. Nuseibeh, A. Finkelstein, J. Kramer posted to methods requirements viewpoints by asilva on 2005-08-13 17:01:11 as
	Evaluating Automated Support for Requirements Similarity Analysis in Market-Driven Development [My Copy] In Proc. 7th Int. Workshop on Requirements Engineering: Foundation for Software Quality (REFSQ'01) (2001) by Natt, B. Regnell, P. Carlshmare, Joachim M. A. Karlsson posted to empirical evaluation market methods requirements software by asilva on 2005-08-13 17:01:11 as
	Structuring Z specifications with views [My Copy] ACM transactions on Software Engineering and Methodology, Vol. 4, No. 4. (Oct 1995), pp. 365-389. by D. Jackson posted to formal methods requirements z by asilva on 2005-08-13 17:01:11 as
	Techniques for Requirements Elicitation [My Copy] In Proc. Int. Symp. on Requirements Engineering (RE93) (1993) by J. A. Goguen, C. Linde posted to elicitation methods requirements techniques by asilva on 2005-08-13 17:01:10 as
	MEGICO: An Intelligent Knowledge Management Methodology [My Copy] In Knowledge Engineering and Knowledge Management. Lecture Notes in Artificial Intelligence 2473 (2002), pp. 102-107. by J. L. Maté, L. F. Paradela, J. Pazos, A. R. Patón, A. Silva edited by Asunción G. Pérez, Richard Benjamins posted to km methods by asilva on 2005-08-13 17:01:10 as
	Soft Systems Methodology in action [My Copy] (1990) by P. Checkland, J. Scholes posted to methods ssm by asilva on 2005-08-13 17:01:10 as
	Formal methods: the very idea: Some thoughts about why they work when they work [My Copy] Science of Computer Programming, Vol. 42, No. 1. (January 2002), pp. 11-27. by Daniel M. Berry posted to engineering formal methods requirements software specifications by asilva on 2005-08-04 18:56:56 as along with 2 people neilernst marcia

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

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 methods [40 articles] Export

asilva's tags