BibSonomy :: bibtex ::

tag user group author concept BibTeX key search:all search:snowball

A blue social bookmark and publication sharing system.

tags · relations · groups · popular	help · blog · about
username: password: myFriends myRelations mySearch myPDF myDuplicates myBibTeX	login · register

snowball's BibTeX entry:

Trustworthy software systems

SIGSOFT Softw. Eng. Notes, 30(1): 4--5, 2005.

Authors:	Larry Bernstein
Tags:	imported

| BibTeX

@article{bernstein2005a,

title = {Trustworthy software systems},
author = {Larry Bernstein},
journal = {SIGSOFT Softw. Eng. Notes},
number = {1},
pages = {4--5},
publisher = {ACM Press},
volume = {30},
year = {2005},
issn = {0163-5948}, doi = {http://doi.acm.org/10.1145/1039174.1039176},
keywords = {imported }

}

relations
tags
- $k$-counter
- (cnc)
- (Computer
- (computer
- (computer);
- (dsbb)
- (OSEFA);
- (programming
- (uwe)
- --
- 1;
- 72,
- 9076
- abstract
- abstraction;
- ADA
- aided
- algorithms,
- Algorithms;
- algorithms;
- all-to-all
- allocation;
- analysis,
- analysis;
- Animation;
- application
- applications;
- architecture
- Architecture,
- architecture,
- architecture;
- architectures,
- arithmetic;
- assertions;
- automata
- automata,
- automata-theory,automata-history
- automaton;
- auxiliary
- B(PN)$^2$,
- BCPL;
- Benchmarking,
- benchmarks
- binder
- black
- blind
- book
- book,
- box
- broadcast
- broadcast;
- Browsing
- by
- C
- c
- C,
- cbse7
- CCL;
- CCS
- CHAM,
- checking;
- chrono-topology;
- Class
- classification,
- closed
- CM(k);
- Collective
- collective
- collop
- collop,
- communication
- Communication,
- compendium
- compilation
- compilation;
- compilers,
- complexity
- complexity;
- Component
- component
- component,
- component-oriented;
- components
- composition
- comprehensibility;
- comprehension,
- computation;
- Computational
- computational
- Computer
- computer
- computers
- Computers,
- computers;
- computing
- computing;
- concatenate;
- concurrency,
- Concurrent;
- concurrent;
- Conditional
- conditional
- Configuration
- Conic
- ConicDraw
- construction
- construction;
- continuity
- continuous
- contract;
- Control
- control
- control;
- cose
- counter
- counter-automata;
- counters;
- criteria;
- Critical
- CRPITVol10
- cryptography,
- CS-2,
- csp
- Data
- data
- databases;
- decomposition;
- dependencies;
- dependency;
- description;
- Design
- design
- design,
- design-patterns
- design;
- designer;
- details;
- detection;
- development
- development;
- developments;
- digital
- directions;
- Distributed
- distributed
- distribution;
- Domain
- domain
- Dyck
- ECOOP;
- Eiffel;
- Empirical
- encapsulation;
- engineering
- engineering;
- enhancement
- Enumerated
- environment
- environment;
- environments;
- equivalence
- Error
- error
- etc
- Euclid;
- evaluation,
- evaluation;
- evolution;
- execution;
- Experimentation,
- Faceted
- famoos
- FFT,
- Finite
- fix
- flexibility;
- flow,
- fnrs95
- fnrs97
- focbs97
- for
- forecasting;
- formal
- Fortran
- framework
- framework;
- free;
- Full-reuse
- functional
- future
- gather;
- glue
- Goal/Question/Metric
- goal;
- GP,
- GQM,
- graphic
- graphics,
- graphs
- handbooks,
- hardware
- high
- high-performance
- Hybrid
- IBM
- implementation
- implementation;
- imported
- indexing,
- indices
- Industrial
- Information
- interface
- Interface;
- interface;
- Interfaces
- interfaces
- international
- intersection
- irreversible
- Iterative
- jb04
- jb94
- jb95
- jb97
- jpict
- Keyword
- kollop
- kollop,
- L3Ref,
- language)
- language);
- language;
- languages
- languages,
- languages;
- law;
- least
- legality
- level
- libraries,
- libraries;
- library
- library;
- limit
- linguistics;
- LISP
- Loading;
- Log
- loggp,
- logic;
- logp
- M-nets,
- machine
- machine;
- machines;
- maintenance,
- management
- management;
- manuals,
- manufacturing
- manufacturing;
- massively
- measurement;
- Meiko
- memory;
- Message
- message
- message;
- methods,
- metrics,
- mobility
- model
- Model,
- model,
- model;
- modelling;
- models,
- modularization;
- modules;
- monitoring
- MPI
- MPI,
- MPI-2;
- MPICH;
- multicast
- Multicast,
- multicounter
- net
- nets,
- nets;
- Network
- nondeterministic
- Numerical
- numerical
- Object
- object
- Object-oriented
- object-oriented
- OBM94-09
- observation;
- of
- offline;
- olit
- olit-obc
- olit-reuse
- online;
- oopsla93
- OOSC01
- Open
- operating
- operations;
- oriented
- osg
- osg-ftp
- P,
- paradigm,
- paralg,
- Parallel
- parallel
- PARKBENCH
- partial,
- partially
- PASCAL;
- passing
- Passing,
- passing;
- Patient
- pattern,
- patterns
- patterns;
- pcalc
- PEP,
- performance
- Personal
- Petri
- physics;
- point-to-point
- polynomial
- popl91
- portability;
- Portable
- portable
- POWERparallel
- PRAM,
- precision
- problem
- problems;
- process
- process,
- processes,
- processing
- processing;
- processors,
- PROGLANG,
- Program
- program
- Programming
- programming
- programming;
- programs,
- project
- Proteus
- public
- PVM
- QoS,
- quasirealtime
- Queueing
- Quick
- racl
- realistic
- reduce;
- refactoring
- relationships;
- reliability
- reliability;
- Report/committee,
- repositories;
- research
- retrieval
- retrieval,
- Reusability,
- Reuse
- reuse,
- reversible
- robots;
- rtao
- sa
- Safety
- Scalable
- scalable;
- Scatter,
- scatter;
- scg-coord
- scg-pub
- scglib
- sclit
- scripting
- scripting,
- SDL,
- searching,
- section:
- security
- security;
- semantics
- semantics;
- semiAFL;
- Sequential;
- sequential;
- set;
- shift;
- similarity
- simulation;
- Small
- snf04
- Software
- software
- sort,
- special
- specialists;
- specific
- specification;
- split-C,
- standard
- standard;
- standardization;
- Standards
- standards;
- storage
- storage,
- Structural
- structure;
- structured
- structures;
- support
- swarch
- Synchronization;
- synchronize;
- synthesis;
- System
- system
- system;
- Systems
- systems
- systems,
- systems;
- talk,
- techniques;
- technological
- technology
- testing;
- text,
- theory
- theory;
- time
- tool
- tools;
- topology
- topology;
- TR
- TR72,
- tunable
- Turing
- two-counter
- Type
- type
- Typeless
- types
- types;
- typestate
- unified
- universality
- Unix
- User
- variable
- vendors;
- verification
- Verification.
- verification;
- very
- Virtual
- virtual
- visprog
- vo93
- window,
- work
- workstation;
- Workstations,
- wright
- writers;
- X
- Xlib,
- Xwindow,
- zz0297
- zz0700
- {Fortran}