Регистрация | Вход в службу | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

asilva library [460 articles]

Статьи, недавно добавленные в библиотеку asilva .
  • Judgment under Uncertainty: Heuristics and Biases
    Science, Vol. 185, No. 4157. (1974), pp. 1124-1131.
    by Amos Tversky, Daniel Kahneman
    posted to economics cognitive by asilva on 2008-07-19 23:58:58 as ***** along with 4 people and 2 groups quianominorleo klouie beckyallen rlai Glimcher_Lab MITCCI
  • What Is a Requirements Engineer?
    Software, IEEE, Vol. 25, No. 4. (2008), pp. 16-17.
    by Barbara Paech
    posted to requirements profession industry engineering by asilva on 2008-07-05 13:31:47 as **** along with 1 person leonardo
  • Would You Be Happier If You Were Richer? A Focusing Illusion
    Science, 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 reference quality psychology economics cognitive by asilva on 2008-06-26 10:51:10 as read along with 4 people and 1 group stefanherzog hawkestein juliettecolinas pseudopharm ACS-Basel
  • On the Structure of Problem Variability: From Feature Diagrams to Problem Frames
    (January 2007), pp. 109-117.
    by A Classen, P Heymans, R Laney, B Nuseibeh, TT Tun
    posted to wsr spl product problemframes features design architecture by asilva on 2008-06-19 12:56:29 as read
  • Ultralarge Systems: Redefining Software Engineering?
    Software, IEEE, Vol. 25, No. 3. (2008), pp. 91-94.
    by Greg Goth
    posted to strategy sota software safety report profession principles practice engineering by asilva on 2008-05-26 11:58:58 as *****
  • Investigating Knowledge Management practices in software development organisations - An Australian experience
    Information and Software Technology, Vol. 50, No. 6. (May 2008), pp. 511-533.
    by Aybüke Aurum, Farhad Daneshgar, James Ward
    posted to survey software practice km industry cites_me by asilva on 2008-05-26 11:51:07 as **
  • Implementing Requirements Engineering Processes: Using Cooperative Self-Assessment and Improvement
    Software, IEEE, Vol. 25, No. 3. (2008), pp. 71-77.
    by D&#x0f6, J&#x0f6 Rr, Rg, Sebastian Adam, Michael Eisenbarth, Michael Ehresmann
    posted to requirements engineering cites_me by asilva on 2008-05-26 10:17:49 as **
  • Formal conceptualisation as a basis for a more procedural knowledge management
    Decision Support Systems, Vol. 45, No. 1. (2008), pp. 164-179.
    by J Andrade, J Ares, R García, J Pazos, S Rodríguez, A Silva
    posted to knowledge km formal conceptualization by asilva on 2008-05-13 09:45:45 as read
  • Software Requirements: Styles & Techniques
    (26 January 2002)
    by Soren Lauesen
    posted to requirements reference engineering by asilva on 2008-05-02 21:40:18 as ** along with 1 person LexUT
  • Requirements researchers: are we really doing research?
    Requirements Engineering, Vol. 10, No. 4. (6 November 2005), pp. 304-306.
    by Roel Wieringa
    posted to research requirements engineering by asilva on 2008-05-02 20:17:06 as ***** along with 1 person patveck
  • Software System Safety Handbook. A Technical & Managerial Team Approach
    (December 1999)
    posted to tender techniques standards software safety requirements management lifecycle hazards engineering doctorado development design analysis by asilva on 2008-05-01 19:23:41 as *****
  • Integrating safety and formal analyses using UML and PFS
    Reliability Engineering & System Safety, Vol. 92, No. 2. (February 2007), pp. 156-170.
    by Frantz Iwu, Andy Galloway, John Mcdermid, Ian Toyn
    posted to uml safety industry formal examples by asilva on 2008-04-30 11:43:29 as read
  • System Safety Engineering: Back To The Future
    (2008)
    by Nancy Leveson
    posted to vv sociotechnical safetycase safety models industry evaluation engineering control by asilva on 2008-04-23 17:01:03 as ****
  • Problem Oriented Software Engineering: Solving the Package Router Control Problem
    Software Engineering, IEEE Transactions on, Vol. 34, No. 2. (2008), pp. 226-241.
    by Jon Hall, Lucia Rapanotti, Michael Jackson
    posted to analysis problemframes wsr by asilva on 2008-04-22 10:36:53 as *** along with 1 person leonardo
  • A survey of existing requirements engineering technologies and their coverage
    International Journal of Software Engineering and Knowledge Engineering, Vol. 17, No. 6. (December 2007), pp. 827-850.
    by Paeivi Parviainen, Tihinen Maarit
    posted to cites_me engineering requirements survey techniques tools by asilva on 2008-03-11 13:49:44 as *
  • The essential synthesis of problem frames and assurance cases
    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 read
  • Application of a Safety-Driven Design Methodology to An Outer Planet Exploration Mission
    (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 read
  • Weaving Together Requirements and Architectures
    Computer, Vol. 34, No. 3. (March 2001), pp. 115-117.
    by Bashar Nuseibeh
    posted to architecture requirements by asilva on 2008-01-09 16:18:44 as read along with 2 people marcia buchgeher
  • Why software fails [software failure]
    Spectrum, IEEE, Vol. 42, No. 9. (2005), pp. 42-49.
    by RN Charette
    posted to failure industry it management projects reference by asilva on 2008-01-08 13:03:41 as read
  • The exterminators [software bugs]
    Spectrum, IEEE, Vol. 42, No. 9. (2005), pp. 36-41.
    by PE Ross
    posted to formal industry safety techniques by asilva on 2008-01-08 13:01:48 as read
  • Who killed the virtual case file?
    Spectrum, IEEE, Vol. 42, No. 9. (2005), pp. 24-35.
    by H Goldstein
    posted to teaching software quality management is2 industry failure by asilva on 2008-01-08 13:00:56 as read
  • Industry Survey of Product Lines Management Tools: Requirements, Qualities and Open Issues
    Requirements Engineering Conference, 2007. RE '07. 15th IEEE International (2007), pp. 301-306.
    by Olfa Djebbi, Camille Salinesi, Gauthier Fanmuy
    posted to spl survey tools by asilva on 2007-12-18 21:18:24 as ** along with 1 person benavides
  • A conceptual model for the analysis of mishaps in human-operated safety-critical systems
    Safety Science, Vol. 46, No. 1. (January 2008), pp. 22-37.
    by Jon G Hall, Andres Silva
    posted to accidents analysis automation control design doctorado forensic formal hazards hazop hf methods models problemframes requirements risk safety scenarios sociotechnical software wsr by asilva on 2007-12-12 09:08:33 as read
  • Requirements abstraction model
    Requir. Eng., Vol. 11, No. 1. (2006), pp. 79-101.
    by T Gorschek, C Wohlin
    posted to cites_me industry models requirements tools by asilva on 2007-12-10 13:25:14 as ****
  • Safety analysis of software product lines using state-based modeling
    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 read along with 1 person benavides
  • Problem Oriented Software Engineering: Solving the Package Router Control Problem
    posted to problemframes wsr by asilva on 2007-11-23 15:29:01 as *****
  • The Unified Software Development Process
    (04 February 1999)
    by Ivar Jacobson, Grady Booch, James Rumbaugh
    posted to engineering lifecycle process software by asilva on 2007-11-23 12:33:53 as * along with 2 people sga72 aku8000
  • IEC 61508:1998 and 2000, part 1 to 7. Functional Safety of Electrical, Electronic and Programmable Electronic Systems.
    (2000)
    by C Ie
    posted to reliability safety safetycase standards by asilva on 2007-11-22 11:51:38 as *
  • An Ontology for Requirements
    Advances in Conceptual Modeling – Foundations and Applications (2007), pp. 224-224.
    by John Mylopoulos, Ivan Jureta, Stéphane Faulkner
    posted to goals ontologies requirements by asilva on 2007-11-15 22:14:57 as **** along with 2 people marcia leonardo
  • A Methodology for Safety Case Development
    (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 read
  • The Use of Multilegged Arguments to Increase Confidence in Safety Claims for Software-Based Systems: A Study Based on a BBN Analysis of an Idealized Example
    Software Engineering, IEEE Transactions on, Vol. 33, No. 5. (2007), pp. 347-365.
    by Bev Littlewood, David Wright
    posted to reliability safety safetycase by asilva on 2007-11-06 08:26:41 as **** along with 1 person hawkestein
  • Separating Concerns in Requirements Analysis: An Example
    Rigorous Development of Complex Fault-Tolerant Systems (2006), pp. 210-225.
    by Daniel Jackson, Michael Jackson
    posted to problemframes requirements safety wsr by asilva on 2007-10-29 17:52:33 as read along with 3 people marcia bfraser leonardo
  • Alloy: a lightweight object modelling notation
    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 4 people sjgaller bfraser leonardo phoenix
  • Dependable Software by Design
    Scientific American (June 2006)
    by Daniel Jackson
    posted to design reference reliability safety tools by asilva on 2007-10-22 09:48:40 as read
  • Requirement progression in problem frames: deriving specifications from requirements
    Requirements Engineering, Vol. 12, No. 2. (April 2007), pp. 77-102.
    by Robert Seater, Daniel Jackson, Rohit Gheyi
    posted to problemframes requirements specifications by asilva on 2007-10-22 09:27:48 as read along with 1 person leonardo
  • Human Factors Methods: A Practical Guide for Engineering And Design
    (30 January 2006)
    by Paul M Salmon, Guy H Walker, Chris Baber, Daniel P Jenkins
    posted to doctorado engineering hf human interaction reference safety by asilva on 2007-10-18 13:40:39 as ****
  • Inviting Disaster: Lessons From the Edge of Technology
    (01 September 2002)
    by James R Chiles
    posted to accidents doctorado industry safety by asilva on 2007-10-18 11:12:46 as *** along with 2 people tt hawkestein
  • The biggest computer programme in the worldever!: time for a change in mindset?
    Journal of Information Technology, Vol. 22, No. 3. (September 2007), pp. 212-221.
    by Chris Clegg, Craig Shepherd
    posted to engineering failure industry is2 management requirements software by asilva on 2007-10-14 17:23:47 as ****
  • A computer scientists reactions to NPfIT
    Journal of Information Technology, Vol. 22, No. 3. (September 2007), pp. 222-234.
    by Brian Randell
    posted to engineering failure industry is2 management requirements software by asilva on 2007-10-11 13:31:18 as ****
  • The biggest computer programme in the world ever! How's it going?
    Journal of Information Technology, Vol. 22, No. 3. (September 2007), pp. 202-211.
    by Sean Brennan
    posted to engineering failure industry is2 management requirements software by asilva on 2007-10-11 13:27:51 as read
  • The Mythical Man-Month: Essays on Software Engineering, 20th Anniversary Edition
    (02 August 1995)
    by Frederick P Brooks
    posted to engineering history is2 reference software by asilva on 2007-10-08 10:34:41 as read along with 20 people and 5 groups cmalek leonardo bfraser hamish neilernst carlblesius sga72 cedricboidin KAllendoerfer jolilius gergana_nikolova jjamor aku8000 fsteeg mzygmunt brothers J_Raff kklo turiel germoglio Blog_and_Wiki_Research mgh-lcs TUCS-ES_Lab hst-bmi Software-Architecture
  • Improving safety with information technology
    New Engl. J. Med., Vol. 348, No. 25. (2003), pp. 2526-2534.
    by DW Bates, AA Gawande
    posted to it medicine safety by asilva on 2007-10-05 11:33:30 as read along with 1 person simdoc
  • The mystery of formal methods disuse
    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 read along with 1 person leonardo
  • State/event fault trees--A safety analysis model for software-controlled systems
    Reliability Engineering & System Safety, Vol. 92, No. 11. (November 2007), pp. 1521-1537.
    by Bernhard Kaiser, Catharina Gramlich, Marc Forster
    posted to analysis fta reliability safety techniques by asilva on 2007-09-27 14:10:43 as read
  • Understanding the interaction between public policy, managerial decision-making and the engineering of critical infrastructures
    Reliability Engineering & System Safety, Vol. 92, No. 9. (September 2007), pp. 1141-1154.
    by Chris W Johnson
    posted to doctorado engineering hf management organizational safety by asilva on 2007-09-27 13:49:18 as read
  • Assessment of complex sociotechnical systems - Theoretical issues concerning the use of organizational culture and organizational core task concepts
    Safety Science, Vol. 45, No. 7. (August 2007), pp. 745-768.
    by Teemu Reiman, Pia Oedewald
    posted to engineering evaluation inconsistencies organizational safety sociotechnical by asilva on 2007-09-14 15:42:09 as read
  • Ultra-Large-Scale Systems: The Software Challenge of the Future.
    (2006)
    by L Northrop, P Feiler, RP Gabriel, J Goodenough, R Linger, T Longstaff, R Kazman, M Klein, D Schmidtd, K Sullivan, K Wallnau
    posted to engineering industry reference reliability research safety software sota by asilva on 2007-09-07 10:14:52 as *
  • Research Directions in Requirements Engineering
    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 read along with 2 people marcia leonardo
  • Formal socio-technical barrier modelling for safety-critical interactive systems design
    Safety Science, Vol. 45, No. 5. (June 2007), pp. 545-565.
    by S Basnyat, P Palanque, B Schupp, P Wright
    posted to formal hf interaction modelling safety sociotechnical by asilva on 2007-08-29 12:14:32 as read
  • Supporting and monitoring the creativity of IS personnel during the requirements engineering process
    (2000)
    by R Engineering, N Carroll, J Swatman
    posted to creativity engineering requirements by asilva on 2007-07-17 13:51:52 as *** along with 1 person Scis0000002
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/asilva

    Result page: 1 2 3 4 5 6 7 8 9 10 Next RIS BibTeX RSS
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.