asilva's reference [64 articles] Export

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

	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
	A System-of-Systems Perspective for Public Policy Decisions [My Copy] Review of Policy Research, Vol. 21, No. 6. (2004), pp. 829-837. by Dan DeLaurentis, Robert K. "CAB" Callaway posted to sos reference infrastructures by asilva on 2009-10-29 10:21:55 as
	Identifying and measuring quality in a software requirements specification [My Copy] Software Metrics Symposium, 1993. Proceedings., First International In Software Metrics Symposium, 1993. Proceedings., First International (1993), pp. 141-152. by A. Davis, S. Overmyer, K. Jordan, et al.J. Caruso, F. Dandashi, A. Dinh, G. Kincaid, G. Ledeboer, P. Reynolds, P. Sitaram, A. Ta, M. Theofanos posted to specifications requirements reference quality models by asilva on 2009-09-15 17:28:17 as along with 1 person swatipendyala
	Requirements engineering: In search of the dependent variables [My Copy] Information and Software Technology, Vol. 50, No. 1-2. (January 2008), pp. 67-75. by T. Gorschek, A. Davis posted to sota requirements reference product process evaluation by asilva on 2009-09-15 17:22:29 as
	Current and Future Research Directions in Requirements Engineering [My Copy] Design Requirements Engineering: A Ten-Year Perspective (2009), pp. 11-43. by Betty H. Cheng, Joanne M. Atlee posted to cites_me engineering reference requirements research sota survey by asilva on 2009-02-14 11:13:21 as along with 2 people MartinGuerra leonardo
	A Brief History of Software Technology [My Copy] Software, IEEE In Software, IEEE, Vol. 25, No. 6. (2008), pp. 22-25. by Christof Ebert posted to history reference software techniques by asilva on 2008-11-27 10:21:01 as along with 1 person VWM
	Requirements 25 Years On [My Copy] Software, IEEE In Software, IEEE, Vol. 25, No. 6. (2008), pp. 26-28. by Neil Maiden posted to reference requirements research by asilva on 2008-11-18 11:21:29 as along with 1 person leonardo
	Would you be happier if you were richer? A focusing illusion. [My Copy] Science (New York, N.Y.), Vol. 312, No. 5782. (30 June 2006), pp. 1908-1910. by Daniel Kahneman, Alan B. Krueger, David Schkade, Norbert Schwarz, Arthur A. Stone posted to cognitive economics psychology quality reference by asilva on 2008-06-26 10:51:10 as along with 7 people and 1 group sophiebostock korol mikaelhuss stefanherzog hawkestein juliettecolinas pseudopharm ACS-Basel
	Software Requirements: Styles & Techniques [My Copy] (26 January 2002) by Soren Lauesen posted to engineering reference requirements by asilva on 2008-05-02 21:40:18 as along with 1 person LexUT
	Why software fails [software failure] [My Copy] Spectrum, IEEE In Spectrum, IEEE, Vol. 42, No. 9. (06 September 2005), pp. 42-49. by R. N. Charette posted to failure industry it management projects reference by asilva on 2008-01-08 13:03:41 as along with 1 person mbait2008
	Dependable Software by Design [My Copy] Scientific American (June 2006) by Daniel Jackson posted to design reference reliability safety tools by asilva on 2007-10-22 09:48:40 as along with 1 person michaelbanks
	Human Factors Methods: A Practical Guide for Engineering And Design [My Copy] (30 January 2006) by Paul M. Salmon, Guy H. Walker, Chris Baber, Daniel P. Jenkins posted to engineering hf human interaction reference safety master by asilva on 2007-10-18 13:40:39 as
	The Mythical Man-Month: Essays on Software Engineering, Anniversary Edition (2nd Edition) [My Copy] (12 August 1995) by Frederick P. Brooks posted to engineering history is2 reference software by asilva on 2007-10-08 10:34:41 as along with 28 people and 5 groups muratspi sphelps azwinkau muratp1 thermostat smogit robertlischke michaelbanks hamish neilernst carlblesius sga72 cedricboidin KAllendoerfer jolilius gergana_nikolova jjamor aku8000 fsteeg mzygmunt brothers J_Raff kklo turiel germoglio bfraser leonardo cmalek Blog_and_Wiki_Research mgh-lcs TUCS-ES_Lab hst-bmi Software-Architecture
	Ultra-Large-Scale Systems: The Software Challenge of the Future. [My Copy] (2006) by L. Northrop, P. Feiler, R. P. Gabriel, et al.J. Goodenough, R. Linger, T. Longstaff, R. Kazman, M. Klein, D. Schmidtd, K. Sullivan, K. Wallnau posted to sota sos software safety research reliability reference industry engineering by asilva on 2007-09-07 10:14:52 as
	Research Directions in Requirements Engineering [My Copy] Future of Software Engineering, 2007. FOSE '07 In Future of Software Engineering, 2007. FOSE '07 (2007), pp. 285-303. by Betty H. Cheng, Joanne M. Atlee posted to cites_me engineering reference requirements research sota survey by asilva on 2007-09-04 13:05:14 as along with 5 people swatipendyala mluckey leonardo marcia pathari
	Software for Dependable Systems: Sufficient Evidence? [My Copy] (2007) by Daniel Jackson, Joshua Bloch, Michael Dewalt, et al.Reed Gardner, Peter Lee, Steven B. Lipner, Charles Perrow, Jon Pincus, John Rushby, Lui Sha, Martyn Thomas, Scott Wallsten, David Woods posted to engineering reference report safety master by asilva on 2007-06-15 08:43:34 as
	The Next Catastrophe: Reducing Our Vulnerabilities to Natural, Industrial, and Terrorist Disasters [My Copy] (02 April 2007) by Charles Perrow posted to accidents automation complexity engineering failure hazards hf history human industry management models nuclear organizational profession reference risk safety security sociotechnical by asilva on 2007-05-08 11:48:14 as along with 2 people and 2 groups H-Arrietaumn cursonivel1 8_01 cursonivel1
	Ironies of automation [My Copy] Automatica, Vol. 19, No. 6. (November 1983), pp. 775-779. by Lisanne Bainbridge posted to hci hf reference safety sociotechnical usability master by asilva on 2007-04-27 21:54:55 as along with 1 person and 1 group remipannequin Holonic_Tracilog_Team
	Failure in Safety-Critical Systems: A Handbook of Accident and Incident Reporting [My Copy] (October 2003) by C. W. Johnson posted to accidents reference reporting safety by asilva on 2006-11-11 12:58:07 as
	Will there ever be software engineering? [My Copy] Software, IEEE, Vol. 15, No. 1. (1998), pp. 36-39. by M. Jackson posted to engineering reference software by asilva on 2006-09-08 10:48:44 as
	Requirements & Specification Exemplars [My Copy] Automated Software Engineering, Vol. 4 (1997), pp. 419-438. by Martin S. Feather, Stephen Fickas, Anthony Finkelstein, Axel van Lamsweerde posted to examples reference requirements specifications by asilva on 2006-09-08 10:03:48 as
	Man-Computer Symbiosis [My Copy] In Conversational Computers (1968), pp. 3-5. by J. C. R. Licklider edited by W. D. Orr posted to hci history reference social by asilva on 2006-09-07 20:12:13 as
	Augmenting Human Intellect: A Conceptual Framework [My Copy] (1962) by Douglas C. Engelbart posted to hci history reference social sociotechnical usability by asilva on 2006-09-07 20:09:48 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
	Goal-Oriented Requirements Engineering: A Guided Tour [My Copy] (2001) by A. van Lamsweerde posted to engineering reference goals requirements by asilva on 2006-07-27 14:37:04 as along with 1 person yijunyu
	Software engineering for safety: a roadmap [My Copy] In ICSE '00: Proceedings of the Conference on The Future of Software Engineering (2000), pp. 213-226. by Robyn R. Lutz posted to engineering reference safety software master by asilva on 2006-04-27 12:49:14 as
	Software Safety and Reliability : Techniques, Approaches, and Standards of Key Industrial Sectors (Practitioners) [My Copy] (27 January 2000) by Debra S. Herrmann posted to industry reference safety standards master by asilva on 2006-02-03 14:40:19 as
	Joint Cognitive Systems: Foundations of Cognitive Systems Engineering [My Copy] (28 February 2005) by Erik Hollnagel, David D. Woods posted to cognitive engineering reference safety by asilva on 2006-02-03 12:31:30 as along with 2 people boosda fbelmont
	Normal Accidents [My Copy] (27 September 1999) by Charles Perrow posted to accidents design industry mishaps reference safety master by asilva on 2005-11-14 12:42:03 as along with 3 people jonha381 fmatthes johannc
	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 Critical Computer Systems [My Copy] (28 August 1996) by Neil Storey posted to accidents engineering failure hazards management mishaps principles reference safety software specifications tools vv master by asilva on 2005-08-13 23:57:17 as along with 2 people embersp broyju
	Beyond Programming: To a New Era of Design [My Copy] (01 May 1995) by Bruce I. Blum, Oxford U. Press posted to conceptualization design lifecycle management models philosophy principles reference software by asilva on 2005-08-13 23:34:14 as along with 5 people Alois neilernst marcia aku8000 sgilliland
	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
	The problem of automation: Inappropriate feedback and interaction, not over-automation. [My Copy] In Human factors in hazardous situations (1990), pp. 585-593. by D. A. Norman edited by D. E. Broadbent, A. Baddeley, J. T. Reason posted to hci hf human reference safety by asilva on 2005-08-13 20:11:53 as
	The Unified Modeling Language Reference Manual [My Copy] (02 January 1999) by James Rumbaugh, Ivar Jacobson, Grady Booch posted to models reference uml by asilva on 2005-08-13 19:28:55 as along with 1 person cloudslayer
	Human Error [My Copy] (26 October 1990) by James Reason posted to hci hf reference safety master by asilva on 2005-08-13 19:05:37 as along with 5 people and 1 group hawkestein acslab ninadel thomek MRMUK ACS
	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
	Inconsistency management in software engineering: survey and open research issues [My Copy] In Handbook of Software Engineering and Knowledge Engineering (Vol. 1) (2002), pp. 329-380. by G. Spanoudakis, A. Zisman posted to inconsistencies management reference viewpoints by asilva on 2005-08-13 17:01:15 as
	Organizational Behavior: Concepts, controversies, and applications [My Copy] (2000) by S. P. Robbins posted to organizational reference by asilva on 2005-08-13 17:01:15 as
	Ingeniería del Conocimiento [My Copy] (1997) by A. Gómez, N. Juristo, C. Montes, J. Pazos posted to knowledge reference by asilva on 2005-08-13 17:01:13 as
	Software Engineering: Report on a Conference Sponsored by the NATO Scientific Commission [My Copy] (1968) by O. Nat posted to engineering history reference software by asilva on 2005-08-13 17:01:12 as
	The Process of Inconsistency Management: A Framework for Understanding [My Copy] In Proc. 10th Int. Workshop on Database and Expert Systems Applications (1999), pp. 364-368. by B. Nuseibeh, S. Easterbrook posted to inconsistencies management reference viewpoints by asilva on 2005-08-13 17:01:11 as
	Artificial Intelligence: A New Synthesis [My Copy] (1998) by N. J. Nilsson posted to ai reference by asilva on 2005-08-13 17:01:11 as
	Intelligent Machines [My Copy] In The Third Culture: Beyond the Scientific Revolution (1996) by M. Minsky edited by J. Brockman posted to ai mind reference by asilva on 2005-08-13 17:01:11 as
	Jokes and their Relation to the Cognitive Unconscious [My Copy] In Cognitive Constraits on Communication (1981) by M. Minsky edited by Vaina, Hintikka posted to ai mind reference by asilva on 2005-08-13 17:01:11 as along with 1 person cangaru
	A Framework for Representing Knowledge [My Copy] In The Psychology of computer vision (1975) by M. Minsky edited by P. H. Winston posted to ai knowledge models reference by asilva on 2005-08-13 17:01:11 as
	Knowledge Management Handbook [My Copy] (1999) by J. Liebowitz posted to km reference by asilva on 2005-08-13 17:01:11 as
	Requirements Engineering. Processes and Techniques [My Copy] (1998) by G. Kotonya, I. Sommerville posted to engineering reference requirements by asilva on 2005-08-13 17:01:11 as
	Preliminary Guidelines for Empirical Research in Software Engineering [My Copy] IEEE Transactions on Software Engineering, Vol. 28, No. 8. (Aug 2002), pp. 721-734. by B. A. Kitchenham, S. L. Pfleeger, L. M. Pickard, et al.P. W. Jones, D. C. Hoaglin, El K. Emam, J. Rosenberg posted to empirical experimentation reference by asilva on 2005-08-13 17:01:11 as

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

Result page: 1 2 Next

requirements	186
safety	153
software	125
engineering	119
industry	67
reference	64
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 reference [64 articles] Export

asilva's tags