<--- Back to Details
First PageDocument Content
Problem frames approach / Systems analysis / Systems engineering / Hacking / Computer network security / Vulnerability / Abuse / Domain-specific language / Domain / Computer security / Cyberwarfare / Security
Date: 2003-10-28 10:12:44
Problem frames approach
Systems analysis
Systems engineering
Hacking
Computer network security
Vulnerability
Abuse
Domain-specific language
Domain
Computer security
Cyberwarfare
Security

Microsoft Word - Lin_et_al_etaps04.doc

Add to Reading List

Source URL: mcs.open.ac.uk

Download Document from Source Website

File Size: 149,15 KB

Share Document on Facebook

Similar Documents

On Agreement Problems with Gossip Algorithms in absence of common reference frames Mauro Franceschelli and Andrea Gasparri Abstract— In this paper a novel approach to the problem of decentralized agreement toward a com

DocID: 1vd7V - View Document

Combustion / Problem frames approach / Software development / Flame

Examples of how to Determine the Specifications of Control Systems Joey W Coleman and Cliff B Jones School of Computing Science University of Newcastle upon Tyne NE1 7RU, UK

DocID: 1pkmF - View Document

Cognition / Creativity / Diagrams / Cognitive science / Academia / Design / Thought / Management / Creative problem-solving / Flowchart / Problem frames approach / Problem solving

Problem Finding, Problem Solving Note on Extracting Insights “I call it scratching. You know how you scratch away at a lottery ticket to see if you’ve won? That’s what I’m doing when I begin a piece. I’m diggin

DocID: 1kKia - View Document

Systems engineering / Formal methods / Software requirements / Quality / Safety engineering / Dependability / Reliability engineering / Problem frames approach / Software development methodology / Software development / Software / Science

A Lightweight Code Analysis and its Role in Evaluation of a Dependability Case Joseph P. Near, Aleksandar Milicevic, Eunsuk Kang, Daniel Jackson Computer Science and Artificial Intelligence Laboratory Massachusetts Insti

DocID: 19701 - View Document

Technology / Science / Software engineering / Theoretical computer science / Software requirements / Formal verification / Software verification / Formal specification / Problem frames approach / Software development / Formal methods / Systems engineering

PDF Document

DocID: 195bp - View Document