| Topic: memory management for programs and modules
|
| Topic: extensible systems
|
| Topic: multi-user systems
|
| Topic: operating system kernel
|
| Topic: owned resources and data objects
|
| Topic: user-centered operating system
|
| Topic: action chunks
|
| Topic: asynchronous processing
|
| Topic: communicating sequential processes
|
| Topic: data parallel processing
|
| Topic: defining a process
|
| Topic: hard real time systems
|
| Topic: high priority processes
|
| Topic: interrupts
|
| Topic: lock-free concurrency
|
| Topic: managing shared memory
|
| Topic: massively parallel processors
|
| Topic: models of parallel computation
|
| Topic: non-preemptive task scheduling
|
| Topic: parallel algorithms
|
| Topic: plan-based task scheduling
|
| Topic: process migration
|
| Topic: race conditions
|
| Topic: real time systems
|
| Topic: task scheduling
|
| Topic: waitfor condition in parallel processing
|
| Topic: concurrent while in parallel processing
|
| Group: parallel processing
|
| Topic: concurrency control by monitors
|
| Topic: concurrent operations
|
| Topic: critical regions
|
| Topic: events
|
| Topic: event controlled processing
|
| Topic: monitored statements and events
|
| Topic: Petri net
|
| Topic: Petri net transitions and events
|
| Topic: process threads
|
| Topic: remote procedure call
|
| Topic: synchronized processing
|
| Group: security
|
| Topic: authentication
|
| Topic: security issues with electronic mail
|
| Topic: digital signature
|
| Topic: distributed system security
|
| Topic: encryption
|
| Topic: key distribution
|
| Topic: limitations of system security
|
| Topic: one-way hash function
|
| Topic: operating system security
|
| Topic: public key encryption
|
| Topic: preventing accidental errors
|
| Topic: security by access functions
|
| Topic: security by audit trail
|
| Topic: security by capabilities
|
| Topic: security by seal
|
| Topic: security of remotely executed code
|
| Topic: security leaks and weaknesses
|
| Topic: automation
|
| Topic: coordinated processes
|
| Topic: examples of coordination systems
|
| Topic: roles
|
| Topic: shared information for collaborative work
|
| Group: coordination system
|
| Topic: change
|
| Topic: embedded systems
|
| Topic: general vs. specific purpose systems
|
| Topic: hardware vs. software
|
| Topic: self-regulating systems
|
| Topic: sensitivity of software to change
|
| Topic: simulation
|
| Group: systems
|
| Topic: desktop metaphor for user interfaces
|
| Topic: dialog boxes in a user interface
|
| Topic: direct manipulation for a UserInterface
|
| Topic: dragging with a mouse
|
| Topic: editing by cut and paste
|
| Topic: eye gaze as a pointing device
|
| Topic: fisheye views in the user interface
|
| Topic: icons for a user interface
|
| Topic: mouse buttons
|
| Topic: other pointing devices
|
| Topic: problems with using icons
|
| Topic: property sheets for objects
|
| Topic: scrolling a window
|
| Topic: selecting text with a mouse
|
| Topic: selecting with a mouse
|
| Topic: tiled vs. overlapping windows
|
| Topic: using icons to represent objects in a user interface
|
| Topic: using icons to represent windows
|
| Group: graphical user interface
|
| Topic: arrow-jump keys for a UserInterface
|
| Topic: browsing with a user interface
|
| Topic: command-line as a UserInterface
|
| Topic: customized user interfaces
|
| Topic: dial as a user interface
|
| Topic: document-centered system
|
| Topic: editor as the UserInterface
|
| Topic: event loop for a user interface
|
| Topic: forms as a UserInterface
|
| Topic: gestural interfaces and marker menus
|
| Topic: multiple activities in a user interface
|
| Topic: selecting command names for a user interface
|
| Topic: step-by-step dialog
|
| Topic: writing with a stylus
|
| Topic: training wheels for the user interface
|
| Topic: collecting statistics on a UserInterface
|
| Topic: examples of usability studies
|
| Topic: keystroke-level model for user interface evaluation
|
| Topic: problems with usability testing
|
| Topic: testing user interfaces by transcripts
|
| Topic: usability errors
|
| Group: testing and evaluating user interfaces
|
| Topic: current position in a user interface; cursor
|
| Topic: demonstrating systems
|
| Topic: disorientation in a user interface
|
| Topic: expert users
|
| Topic: identifying the user interface with the system
|
| Topic: man-machine symbiosis
|
| Topic: mental models, consistency, and interface metaphors
|
| Topic: novice users and the UserInterface
|
| Topic: user interface design
|
| Topic: color in user interfaces
|
| Topic: error messages
|
| Topic: graphics
|
| Topic: implementation of user interfaces
|
| Topic: help in UserInterface
|
| Topic: modes in a user interface
|
| Topic: problem of screen size
|
| Topic: undoing actions in a UserInterface
|
| Topic: user profile
|
| Topic: history of computers
|
| Group: computer science
|
| Topic: code optimization by flow analysis
|
| Topic: code optimization by instruction reordering or scheduling
|
| Topic: compiling pseudocode designs
|
| Topic: compressed code
|
| Topic: conditional compilation
|
| Topic: executable code from specifications and designs
|
| Topic: in-line code
|
| Topic: just-in-time compilation
|
| Topic: incremental compilation
|
| Topic: intermediate representation of code
|
| Topic: interpreter
|
| Topic: load-time code generation
|
| Topic: object code linkers and loaders
|
| Topic: optimization of object-oriented programs
|
| Topic: register allocation by graph coloring
|
| Topic: register allocation by usage counts
|
| Topic: register allocation by use-def graphs
|
| Topic: register arguments to subroutines
|
| Topic: static single assignment; SSA
|
| Topic: debugging by reading code
|
| Topic: debugging by usage rules
|
| Topic: debugging techniques
|
| Topic: aspect-oriented programming
|
| Topic: path expression
|
| Topic: reversible execution
|
| Topic: function definition
|
| Topic: function call
|
| Topic: function vs. procedure
|
| Topic: functional side effects
|
| Group: function
|
| Topic: declarative vs. procedural representation
|
| Topic: minimal language systems
|
| Topic: I/O streams
|
| Topic: inheritance by delegation
|
| Topic: object-oriented design
|
| Topic: object-oriented fields
|
| Topic: types of object-oriented classes
|
| Topic: external search and sort
|
| Topic: pattern language
|
| Topic: search algorithms
|
| Topic: searching compressed data
|
| Group: programming notation
|
| Topic: deployable module or assembly
|
| Topic: families of programs
|
| Topic: import/export lists for defining an interface
|
| Topic: conditional expression
|
| Group: conditional control
|
| Topic: continuation
|
| Topic: dynamic code modification
|
| Group: program design
|
| Topic: decomposition of a system into levels
|
| Topic: design languages
|
| Topic: design errors
|
| Topic: object-oriented modelling language
|
| Topic: top-down vs. bottom-up design
|
| Topic: user-centered design
|
| Topic: safety, liveness, and system properties
|
| Topic: proof-carrying code
|
| Topic: constructing proof and program together
|
| Topic: abstraction in programming language
|
| Topic: keyboard macros
|
| Topic: language extension via macros
|
| Topic: literate programming
|
| Topic: macro syntax definition
|
| Topic: program source as truth
|
| Topic: programming language design
|
| Topic: programming with a database of modules
|
| Topic: prototyping
|
| Topic: software components
|
| Topic: spreadsheet
|
| Topic: managing a Thesa database
|
| Topic: Thesa data model
|
| Topic: Thesa data structures
|
| Topic: Thesa's primitive operations
|
| Topic: Thesa's user interface
|
| Topic: domain specific language
|
| Topic: extensible languages
|
| Topic: functional programming
|
| Topic: list processing
|
| Topic: problems with logic programming
|
| Topic: parallel programming languages
|
| Topic: scripting language
|
| Topic: visual programming
|
| Topic: application generator
|
| Topic: business application language
|
| Group: types of programming languages
|
| Group: types of user interfaces
|
| Topic: good requirement specifications
|
| Topic: importance of information hiding for requirement specification
|
| Topic: requirement specification by behaviors
|
| Topic: requirement specification by function
|
| Topic: specification errors
|
| Topic: specification is infeasible
|
| Topic: standards
|
| Topic: Cleanroom software development
|
| Topic: examples of programming environments
|
| Topic: extreme programming
|
| Topic: management of large software projects
|
| Topic: quality assurance
|
| Topic: software lifecycle
|
| Topic: personal software process (PSP)
|
| Topic: programming environment
|
| Topic: programming style
|
| Topic: programming system
|
| Topic: public domain software
|
| Topic: software science
|
| Group: software engineering
|
| Topic: change notification
|
| Topic: configuration management
|
| Topic: merging changes
|
| Topic: reverse engineering of software
|
| Topic: revision delta
|
| Topic: software maintenance and testing of distributed systems
|
| Topic: system integration
|
| Topic: bug tracking system
|
| Topic: version control
|
| Topic: version identification
|
| Topic: automated testing
|
| Topic: automated tests of specifications and designs
|
| Topic: model checker
|
| Topic: performance testing
|
| Topic: software review
|
| Topic: test data selection
|
| Topic: test scripts
|
| Topic: testing by program mutation
|
| Topic: testing by voting or N-version
|
| Topic: animation
|
| Topic: experimental results on programming
|
| Topic: experimental results on structured programming
|
| Topic: history of programming
|
| Topic: learning a programming language
|
| Topic: programmers
|
| Group: programming
|
Topic: type-safe and secure languages
|
