asilva's design [47 articles] Export

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

	Risks of faults intrinsic to software languages: Trade-off between design performance and application safety [My Copy] Safety Science, Vol. 47, No. 6. (July 2009), pp. 873-883. by G. Motet posted to design fault language oo risk safety by asilva on 2009-05-28 07:38:34 as
	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 4 people and 1 group buchgeher patveck leonardo marcia Global Enterprise Architecture Community
	COSMOD-RE: Supporting the Co-Design of Requirements and Architectural Artifacts [My Copy] Requirements Engineering, IEEE International Conference on In Requirements Engineering Conference, 2007. RE '07. 15th IEEE International, Vol. 0 (2007), pp. 258-261. by Klaus Pohl, Ernst Sikora posted to architecture design requirements by asilva on 2008-11-26 10:11:25 as along with 3 people buchgeher stabletree marcia
	The Co-Development of System Requirements and Functional Architecture [My Copy] Conceptual Modelling in Information Systems Engineering (2007), pp. 229-246. by Klaus Pohl, Ernst Sikora posted to architecture design requirements by asilva on 2008-11-26 09:36:39 as along with 2 people RWeiss marcia
	On the Structure of Problem Variability: From Feature Diagrams to Problem Frames [My Copy] In Proceedings of the First International Workshop on Variability Modelling of Software-intensive Systems (VaMoS’07) (January 2007), pp. 109-117. by A. Classen, P. Heymans, R. Laney, B. Nuseibeh, T. T. Tun posted to architecture design features problemframes product spl wsr by asilva on 2008-06-19 12:56:29 as
	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
	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
	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
	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
	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
	A general model of software architecture design derived from five industrial approaches [My Copy] Journal of Systems and Software, Vol. 80, No. 1. (January 2007), pp. 106-126. by Christine Hofmeister, Philippe Kruchten, Robert L. Nord, Henk Obbink, Alexander Ran, Pierre America posted to architecture design industry software survey by asilva on 2007-03-01 10:24:05 as along with 3 people buchgeher marcia robertlischke
	Errors of perception in air traffic control [My Copy] Safety Science, Vol. 45, No. 8. (October 2007), pp. 890-904. by Steven T. Shorrock posted to accidents automation complexity design engineering error hazards hf industry mishaps psychology safety visualization by asilva on 2006-12-11 10:04: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
	Efficient Development of Safe Railway Applications Software with EN 50128 Objectives using SCADE Suite [My Copy] (September 2006) by Bernard Dion posted to design development industry modelling models safety standards tools by asilva on 2006-09-16 14:43:01 as
	Diagnosis of the significance of inconsistencies in object-oriented designs: a framework and its experimental evaluation [My Copy] Journal of Systems and Software, Vol. 64, No. 1. (15 October 2002), pp. 3-22. by George Spanoudakis, Hyoseob Kim posted to design empirical inconsistencies oo by asilva on 2006-09-08 11:30:03 as
	Architecture-driven Problem Decomposition [My Copy] In Proceedings of the 12th IEEE International Requirements Engineering Conference (RE'04) (2004) by Lucia Rapanotti, Jon G. Hall, Michael A. Jackson, Bashar Nuseibeh posted to architecture design problemframes by asilva on 2006-09-08 10:41:38 as along with 1 person and 1 group pverstra macc
	Managing variability in software architectures [My Copy] In SSR '01: Proceedings of the 2001 symposium on Software reusability (2001), pp. 126-132. by Felix Bachmann, Len Bass posted to architecture design software spl by asilva on 2006-09-07 19:35:42 as along with 1 person and 1 group pverstra macc
	A Catalogue of General-Purpose Software Design Patterns [My Copy] In TOOLS '97: Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems (1997) by W. F. Tichy posted to architecture design patterns software by asilva on 2006-09-07 19:27:26 as along with 1 person and 1 group pverstra macc
	Describing software architecture with UML [My Copy] (1999) by C. Hofmeister, R. Nord, D. Soni posted to architecture design modelling requirements uml by asilva on 2006-09-07 19:22:16 as along with 1 person marcia
	Reconciling software requirements and architectures: the CBSP approach [My Copy] Requirements Engineering, 2001. Proceedings. Fifth IEEE International Symposium on (2001), pp. 202-211. by P. Grunbacher, A. Egyed, N. Medvidovic posted to architecture design requirements by asilva on 2006-09-07 19:19:22 as along with 1 person marcia
	Feature Modeling Using Design Spaces [My Copy] by Lars Geyer posted to design features spl by asilva on 2006-09-07 19:16:00 as
	Formal Details of Relations in Feature Models [My Copy] In Proceedings of the 10th IEEE Symposium and Workshops on Engineering of Computer-Based Systems. (2003) by Detlef Streitferdt, Matthias Riebisch, Ilka Philippow posted to design features requirements spl by asilva on 2006-09-07 19:14:06 as
	Third DoD Product Line Practice Workshop Report [My Copy] No. CMU/SEI-2000-TR-024. (2000) by Sholom Cohen, Brian Gallagher, Matthew Fischer, et al.Lawrence Jones, Robert Krut, Linda Northrop, William O'Brien, Dennis Smith, Albert Soule posted to design engineering software spl by asilva on 2006-09-07 19:01:00 as
	The 4+1 View Model of architecture [My Copy] Software, IEEE, Vol. 12, No. 6. (1995), pp. 42-50. by P. B. Kruchten posted to architecture design models software by asilva on 2006-09-07 10:09:19 as along with 5 people and 1 group ANDREKOEHLER tonz 7oby ingstrup germoglio Software-Architecture
	Operationalizing normal accident theory for safety-related computer systems [My Copy] Safety Science, Vol. 43, No. 9. (November 2005), pp. 697-714. by John J. Sammarco posted to accidents design formal safety scr by asilva on 2006-04-10 16:58:51 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
	Safety design: Towards a new philosophy [My Copy] Safety Science In Safety and Design, Vol. 44, No. 1. (January 2006), pp. 55-73. by E. Fadier, Cecilia Garza posted to design safety by asilva on 2006-03-14 10:59:48 as
	HAZOP Analysis of UML-Based Software Architecture Descriptions of Safety-Critical Systems [My Copy] In Proceedings of NWUML'2004: 2nd Nordic Workshop on the Unified Modeling Language, No. 35. (August 2004), pp. 59-78. by Klaus M. Hansen, Lisa M. Wells, Thomas Maier edited by Kai Koskimies, Ludwik Kuzniarz, Johan Lilius, Ivan Porres posted to design hazop oo safety uml by asilva on 2006-03-01 12:05:47 as
	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
	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
	The Design of Everyday Things [My Copy] (01 September 2002) by Donald A. Norman posted to design engineering hci hf usability by asilva on 2005-08-31 17:19:32 as along with 51 people and 10 groups ucjtrjt stefangoellner NicNebude mahlow thegoose PreciousJ meikipp pacianca3 msmendeley sirdjsmith mavrikis jbrejcha A_Olympia takeha-e jennaemilia robertlischke karhai ninadel CitePotential draggin rickl zephoria vanesam cmalek sga72 caelumluna carsonr SuzanneThompson harperf megdeutscher spinster googya CloCkWeRX karin martint kefcite yoshihiko cmyres pe3 abelone mzygmunt PaulBHartzog coracleman flgeyer startree sfeige cjf germoglio Lasse jamuraa boosda MiGen Project logics of knowledge arki Blog_and_Wiki_Research CHISEL digital_youth GroupLens what_is_a_library Knowledge_Management Social_Learning_Software_Lab
	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
	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
	User strategies in recovering from errors in man-machine systems [My Copy] Safety Science, Vol. 32, No. 1. (April 1999), pp. 49-68. by Tom Kontogiannis posted to design error hci human safety tolerance by asilva on 2005-08-15 12:36:19 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
	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
	A case study in the integration of accident reports and constructive design documents [My Copy] Reliability Engineering & System Safety, Vol. 71, No. 3. (March 2001), pp. 311-326. by C. Johnson posted to accidents design reporting safety by asilva on 2005-08-15 10:38:45 as along with 1 person billb70
	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
	Computer-Related Risks [My Copy] (18 October 1994) by Peter G. Neumann posted to accidents design engineering failure forensic hazards history mishaps safety software master by asilva on 2005-08-13 23:31:30 as along with 1 person pe3
	Design Paradigms : Case Histories of Error and Judgment in Engineering [My Copy] (27 May 1994) by Henry Petroski posted to accidents design engineering history by asilva on 2005-08-13 23:24:55 as along with 3 people and 1 group olbrich aku8000 ptmannon Duke_PSRL
	Inside a Software Design Team: Knowledge Acquisition, Sharing and Integration [My Copy] Communications of the ACM, Vol. 36, No. 10. (Oct 1993), pp. 63-77. by D. B. Walz, J. J. Elam, B. Curtis posted to design km software by asilva on 2005-08-13 17:01:15 as
	Diagnosis of the significance of inconsistencies in object-oriented designs: a framework and its experimental evaluation [My Copy] The Journal of Systems and Software, Vol. 64 (2002), pp. 3-22. by G. Spanoudakis, H. Kim posted to design inconsistencies oo by asilva on 2005-08-13 17:01:15 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
	Some Experience with Automated Aids to the Design of Large-Scale Reliable Software [My Copy] ACM SIGPLAN Notices, Vol. 10, No. 6. (1975), pp. 105-113. by B. W. Boehm posted to design industry reliability software tools by asilva on 2005-08-13 17:01:10 as
	Tolerating Inconsistency [My Copy] In Proc. 13th Int. Conf. on Software Engineering (1991), pp. 158-165. by R. Balzer posted to design history inconsistencies reference by asilva on 2005-08-13 17:01:10 as

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

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

asilva's tags