author
groupsbookmarks
publications
(1)
previous
|
1
|
next
-
A. Jefferson Offutt and Shaoying Liu Journal of Systems and Software 49 49--62 (1999)to SOFL TSL activity category-partition diagrams integration specification-based systemtest testing by ist_spl and 1 other person on 2008-07-29 17:26:27
previous
|
1
|
next
- tags
- "class
- "decision
- &
- (DCT)
- (discrete
- (Economic
- (RATR)
- (SNRCSIP)
- (STFT)
- 15640753
- 2-D
- 2-phase
- 2003
- 2004
- 2006
- 2007
- 225
- 2D-Lookup
- 62C15
- 62D05
- 62E20
- 62F03
- 62F07
- 62G15
- ;
- <1990
- <Informatik>
- \&
- _Diplomathesis
- a
- A-optimal
- abstraction
- abstractions
- Acceptance
- acetylene
- acl07
- activation-energy
- activity
- Adaptive
- adaptive
- adaptive-interface
- adaptive-search
- adaptive-search,
- adaptive-web,
- additive
- Addressed
- Adjacent-categories
- Adjustable
- adjustableautonomy
- Adult,
- ag_detection
- Age-dependent
- agent-oriented
- agent-theory
- agents
- agile
- agricultural
- AHEAD,
- ai
- Al2O3/Y3Al5O12(YAG)eutecticin
- alexei1
- algorithm
- algorithm;
- algorithms
- algorithms,
- alkenes
- all
- allocation
- Almost
- ambient_vibration
- amperometry
- Analysis
- analysis
- analysis,
- and
- anesthesia
- annealing
- annotation
- Anomalous
- anova
- Antenna
- apob
- application
- application_software
- applications
- applications,
- approach
- Approximate
- approximation
- aptamer
- AR
- ARCH
- architectural
- architecture
- archives
- ARIMA
- Arm
- Array
- array
- arrays
- Artikel
- aso
- aspects
- Asset
- association
- AssociationRules
- assurance,
- Asymmetric
- Asymptotic
- attachment
- attack
- auctions
- Augmented
- automata
- automated
- automated_evaluation
- Automatic
- automatic
- automation
- autonomic
- autoregression
- aversion
- awm2008
- azo-compounds
- badtext
- Balancing
- bands
- Bank
- banking
- banks
- Barni's
- barry-smyth
- basic
- basis
- Bayes
- bayesian
- beamforming
- behaviors
- Behrens-Fisher
- beliefs
- Bequemlichkeit
- Bernoulli
- bertelsmann
- beta
- BFGS
- bg
- bias
- BIBD
- bibtex-import
- BIND
- bio
- Bioheat
- BioinformaticsTool
- bipartite
- bis
- bittorrent
- Black-Scholes
- Blind
- bloat
- Block
- Blocked
- blogs
- Blume-Capel
- boletusedulis
- Boltzmann
- book
- bookmarking
- boosting
- Bootstrap
- bootstrap
- borohydride
- borohydrides
- Bounded
- Brain
- brain
- branching
- bridge
- Brillouin_zones
- BTA
- Business
- C4.5
- cable
- CALL
- Canadian
- Capital
- Car-following
- car-to-car
- cartesian
- cascades
- case
- categorization
- category
- category-partition
- CBR
- CCP
- Cell
- Cellular
- Censored
- censoring
- central_planning
- cereb
- Cerebral
- cg
- chain
- chains
- check
- chemical-reactions
- chemistry
- China
- china
- Chinese
- chinese
- ChIP-Seq
- chromosomes,
- cinearchiv
- cites.goarch
- cites.gradu
- cites.pclass
- cites.procm
- civil
- classes,
- classification
- classification,
- Clear
- click-through
- close
- clustered-graph
- clustering
- clustering,
- coaxial
- coefficient
- coefficients
- cogn
- Coherent
- collaboration
- collaborative
- combination
- Common
- common
- commonsense
- communication
- communication-protocols
- community
- Comparative
- comparison
- comparisons
- competency
- competition
- Complex
- complex
- complexityStructural
- Composite
- compositelaser
- compounds
- computation
- computational
- computer
- Computer-Assisted,
- Computing
- concept-net
- concept_location
- conceptnet
- conceptual
- concrete
- Condensation
- Conditional
- conference
- Confidence
- confidence
- conflictresolution
- conjugate
- constants
- Consumption
- contact
- content-based
- context,
- Contract
- contracts
- contraint
- Contrasts
- control
- Convertibles
- Corporate
- corporate_governance
- corpus
- Correlated
- correlation
- Cortex,
- cosine
- cost
- cost,
- Counting
- coupled-cluster
- Covariate
- Crack
- crack
- cracking
- crawling
- credit
- crisis
- criteria,
- Critical
- Cross
- CRPITVol10
- cscw
- culture
- Currency
- curve
- Customer
- customization
- cyberhumanities
- cyberinfrastructure
- Cycle
- cycle
- cycles
- Cyclic
- d4.1
- daanbib
- DAC
- damage
- Damped
- Data
- data
- data_management
- data_model
- data_quality
- Database
- database
- dataMining
- datamining,
- datasets
- DATE
- datum
- DB
- dblp
- dblp,
- DCT
- Decalin
- decision
- decisionsEnvironment
- decomposition
- Default
- demand
- demographics
- denoising
- density
- density_functional_theory
- Dependency
- dependency
- depth,
- design
- designability
- Desktop
- deteco,
- detection
- detection,
- development
- development,
- developmentProcess
- developmentSURVEYSCHINAManagement
- deviation
- devo
- devo,
- diagrams
- difference
- differential
- Diffusion
- diffusion
- Diffusion,
- diffusivity
- Digital
- digital
- digital-library,
- digital-repositories
- dimensional
- dipl_literatur
- diplomarbeit
- disaster
- disclosure
- discount
- discovery
- Discrete
- discrete
- disease
- diss
- dissertation-mixed
- dissociation
- distributed
- distribution
- distributions
- Diversification
- Diversity
- Dividends
- divisor
- DNA
- DNS
- document,
- Dopplerlet
- drm
- DSC
- DTI
- Dually
- Durable
- dynamic
- Dynamical
- dynamical
- dynamics
- DynamicSystemsModeling
- E43
- ECA
- ecommerce
- economy
- Econophysics
- Edge
- effect
- efficiency;
- EHW
- elearning
- electrical_time_domain_reflectometry
- electrochemistry
- electronic-spectra
- elisa
- emission
- Emotions,
- Empirical
- empirical
- Employment
- en
- encryption
- energies
- energy
- engineering
- English
- Entanglement
- enterprise
- Entropy
- entropy
- Entscheidungstheorie
- envelopment
- environment
- environments
- enzyme,
- Epidemic
- equalization
- equalizer
- Equation
- equation
- equation,
- equations
- erc
- errors
- Estimation
- estimation
- estimator
- estimators
- eswc
- eswc2006
- ETDR
- european
- evaluation
- event
- eventDetection
- evolution
- Evolutionary
- evolutionary
- Evolvable
- evolvable
- Exactly
- Exchange
- Exogenous
- expansion
- expansion,
- Expected
- experiment,
- experimentation,
- Experiments
- expert_finding
- Exponential
- Expression
- expression
- Expression,
- External
- externalities
- extraction
- face-to-face
- faceted-search,
- Facial
- Factorial
- factorial
- facts
- facual
- fair
- family
- farms;
- fashion
- Fast
- fault-prone
- faultTolerant
- FCA
- FDR
- fe-high-tc
- feature
- feedback,
- Feedforward
- Female,
- Fermi_level
- Fermi_surface
- ferromagnetic_materials
- FFT
- fia
- fiat
- Fields
- filter
- filtering
- filters
- Finance
- finance
- Finanzmarkt
- Finite
- finite_element
- First
- fixed
- flight
- flourine
- flow
- flowgraph
- flows
- Fluctuations
- Fokker-Planck
- folding
- folding,
- folksonomy
- FOP,
- foraging
- forced_vibration
- Forecasting
- forecasting
- forecasts
- form
- formal
- forum
- Forward
- Fourier
- Fractional
- fractional
- Fraglich
- framework
- Frequency
- frequency
- frequentSetMining
- friction
- fuels
- fun,
- function
- Functional
- functional
- funds
- Futures
- fuzzy
- Fuzzy-Optimierung
- Galton-Watson
- game
- games,
- gap
- GARCH
- Gas
- Gaussian
- Gender
- gender
- Gene
- gene
- GeneIdentificationSignature
- general
- Generalized
- generation
- generic
- genetic
- genotype
- GenVoca,
- Gibrat's
- Glass
- glass
- goal
- goal_identification
- GoalIdentificationAWM08
- goals
- goals,
- goods
- google,
- Gov't,
- governance
- GP-based
- gradient
- granular
- graph
- graphs
- gray-box
- greatest
- greedy
- grids,
- GRL
- group
- Growing
- Growth
- H.264
- Hardware
- hardware
- hardware,
- Hartley
- Hausman
- Health
- Heterogeneous
- heterogeneous
- hierarchical
- high-tc,
- hip
- hirsch-index
- HIV
- household
- HP
- htsce
- htsct,
- human,
- Humans,
- Humans;
- Hybrid
- hybrid
- HybridSystems
- Hydrodynamic
- hydrogen,libh4,Lithium
- H{\`a}jeck-R{\`e}nyi
- i*
- ibis
- iccs
- icdm
- ICU
- identification
- Identifikation
- idiom
- ieee
- Image
- image
- images,
- imaging
- Imaging,
- immunoassay
- immunoelectrode
- immunosensor
- immunoturbidimetry
- impact
- implementation
- implicit,
- Importance
- imported
- imported-10-07-2007
- improvement
- IMS
- in_use_1
- inaki
- Income
- individual-differences,
- INDUSTRIAL
- inequalities
- inequality
- Infectious
- inference
- Infinite
- infinite
- Inflation
- influence
- Information
- information
- information-retrieval
- information_needs
- information_retrieval
- INFORMATION_STORAGE
- InformationRetrieval
- informationRetrieval
- informationsfreiheit
- informetrics
- inhomogeneity
- Initial
- innovation
- innovationindustry
- innovationsDIFFUSIONCHINATAIWANIndustrial
- innovationsTECHNOLOGYRESEARCH
- innovationtechnology
- insight
- inspection,
- instance-selection
- Institution
- Institutional
- Insurance
- integration
- intelligent
- intensity
- Intensity-dependent
- intentions
- interaction
- Interest
- interest
- interface
- Interfaces
- Interkulturalität
- Internet
- interoperability
- interoprable
- intervals
- introduction
- invariant
- investor_relations
- investors
- ion-molecule
- Ionic
- ionic
- IPOs
- ir
- iron_compounds
- Ising
- Isotonic
- iswc
- iswc2006
- IUI09
- jabref:noKeywordAssigned
- jamming
- Japanese
- Jaynes-Cummings
- journal
- JRR,
- juergen
- k22
- Kantorovich
- kdubiq
- kernel
- keywords
- Kinetic
- kinetics
- kink
- kissinger
- Klein-Gordon
- knowledge
- knowledge-acquisition
- KnowledgeBase
- KVO
- L-BFGS
- labeled_enzyme
- Lag
- lakh
- lang:en
- language
- langzeitarchivierung
- large
- Large-scale
- large_scale
- Lattice
- lattice
- law
- learning
- learning2rank,
- least-squares
- letor
- Levy
- lexicon
- liberalisation
- LiBH4
- library
- lieberman
- life
- Light
- lightpath
- likelihood
- limit
- limited
- Linear
- linear
- linked
- linkeddata
- liposome
- liquid
- liquids
- lisp
- list
- listed
- listwise,
- liu
- Liu04networkFlow
- load
- Lobe;
- Local
- location
- log,
- Logistic
- logistic
- logit
- longwall
- Lower
- lsa
- LSI
- ltp
- lubricant
- Lubrication
- MAC-protocols
- machine-learning
- Macroeconometric
- Macroeconomic
- Magnetic
- magnetic_superconductors
- maintenance
- Male,
- Management
- management
- management;
- managementINDUSTRIAL
- managementtechnology
- mandelbrot
- map
- mapping
- Mapping,
- Marginal
- market
- Marketing
- markets
- Markov
- Markov-switching
- mas
- master_thesis
- materials
- matrix
- MBA
- MDSOC
- Mean
- Measurement
- measurement
- mechanism
- media
- meeting
- mem
- memory
- Mensch-Maschine-System
- mergers
- metasearchengine
- method
- Methodology
- methods
- metrics
- metrics,
- Mg2NiH4
- microsoft
- migration
- military
- MIMO
- mining
- mining,
- Minority
- misclassification
- mixed
- Mixed-level
- Mixed-spin-
- Mixture
- mixtures
- ml,
- MMSE
- modal_frequency
- mode
- mode_shape
- Model
- model
- model,
- modeling
- modelling
- models
- Models,
- models,
- modes
- Modulation
- module,
- molecular-dynamics
- Monetary
- Money
- monitoring
- mortgages
- mrefs
- msnsearch
- Multi-period
- MultiCore
- Multidimensional
- multiobjective
- multiplayer,
- Multiple
- multiple
- Multiplicative
- multiplicative
- Multirate
- multitask
- Multivariate
- music
- mybib
- myown
- mytag
- n-h
- named-entity,
- nanostructured_materials
- National
- natural-products
- Network
- network
- networks
- networks.
- Neural
- neural
- neuroimaging
- Neurological;
- neuropsychology
- news
- Nikkei
- NLP
- nlp,
- nmf
- nn
- no-tag
- noise
- nominalisation
- non-functional
- Non-parametric
- Non-U.
- nonadiabatic
- Nonhomogeneous
- nonhomogeneous
- Nonlinear
- nonsymmetric
- Nonuniform
- Normal
- normal
- Nutzerbedürfnis
- Nutzerprofil
- oa
- Object
- objects,
- Occipital
- OECD
- of
- offering
- One-sided
- One-way
- online_publishing
- ontologies
- ontology
- ontology_(computer_science)
- ontologyevolution
- OntologyHandbook
- ontologylearning
- open
- opencontent
- openness
- opensource
- Operations_Research
- Operator
- Optimierung
- optimization
- optimization,
- oracle
- Order
- order
- ordinary
- organization
- Organizational
- OS
- OS-CFAR
- outlier
- overlays
- Oversampled
- owl
- oxidative
- Oxygen,
- P2P
- p2p
- Packing
- packing
- packings
- pacman
- PADGP
- Pairwise
- paper
- parallel
- Parameter
- parameters
- paraphrase
- parser
- Partial
- partial
- partially
- particle
- particles
- path-planning;
- pathfinding
- Pattern
- pattern
- pattern_mining
- patternMining
- pay
- PCR,
- Pedestrian
- peekaboom,
- peer-to-peer
- penalty
- Penna
- Percolation
- percolation
- Performances
- Perimetry;
- Permeability
- Personal
- personalization
- personalization,
- pfc
- Phase
- phase
- PhD
- phenotype
- phosphorelay
- Photic
- photochemistry
- photodissociation
- photoelectron-spectroscopy
- physics
- PIM
- Pinning
- pivot
- pla2
- planning
- planningTECHNOLOGICAL
- Point-pattern
- points
- policies
- policy
- policyTECHNOLOGICAL
- polyethylene
- Porous
- positioning
- positions
- positron
- possible-projects
- poster
- Poster,
- Power
- prediction
- prediction"
- prediction,
- Preferential
- premium
- prestressed
- Price
- Pricing
- primitive
- Prion
- privacy
- problem
- proceedings
- process
- processes
- processing
- Processing,
- Product
- Production
- production
- Productivity
- profile
- Program
- program
- Programming
- programming
- Programming,
- programming,
- programming-based
- programs,
- proj:s2s
- Project
- prolearn
- prontoLiterature
- Proposal
- Protein
- protein
- protonated
- pseudo
- public
- publish
- Pyrolysis
- q2semantic
- q7
- QA
- qc
- Quadratic
- quality
- quality,
- quality-improvement,
- Quantum
- quantum_wires
- queries
- Query
- query
- queryMining
- question_similarity
- QuestionAnswering
- R&D
- race
- Radar
- radius
- random
- rank
- Ranking
- ranking
- rate
- rates
- ratings
- rCMRglc,,
- rdf
- RE
- reaction
- reaction-path
- reactions
- reading-group
- real
- Real-world
- reasoning
- recognition
- Recognition,
- recommender
- recommendersystems
- Recurrent
- refactoring
- regime-switching
- regression
- regressions
- Regular-singular
- Regulation
- relevance,
- reliability
- reliability,
- remeltingmicrostructureproperties
- remota
- renormalization
- representations
- requirement
- Requirements
- requirements
- requirements-engineering
- Research
- research
- research.bizInt.bpm
- research.bizInt.ea
- research.clustering.documents
- research.conceptual.graphs
- research.conceptual.usecases
- research.cs.softeng
- research.is
- research.mining
- research.mining.classification
- research.nlp
- research_13
- Resonance
- resonance
- resoning
- restful
- Restricted
- Restriction
- reticollab0708
- reticollab0809
- Retrieval
- retrieval
- reuse
- reversion
- review
- RFID
- ria,
- ripple
- risk
- risk-based
- Risk-return
- RNA
- Robust
- ROC
- role
- routing
- rule
- rule-based
- rw004
- S-expression
- S.
- s:tocheck
- SaaS
- safety
- sample
- samples
- sampling
- sandwich
- SANS
- SAR
- sb
- scalability
- scalable
- scale
- Scale-free
- Scaling
- scenario
- Scheduling
- scheme;
- scholarly-communication
- scholary_communication
- Schutzhelm
- Schweißabsonderung
- SDE
- Search
- search
- search,
- search-behaviour
- searchengine
- searching
- Seasonality
- Securitization
- Security
- security
- Seemingly
- segmental
- Seismic
- Selbststeuerung
- selection
- Self-similar
- Self-similarity
- Semantic
- semantic
- semantic-similarity
- semantic_role
- semantic_web
- semanticweb
- Semiconductor
- Semilinear
- SEMINAL
- seminar2006
- seminarthema
- senseweb
- sensor
- sentence-classification
- sentiment
- SentimentAnalysis
- separation
- sequence
- sequencing,
- series
- service
- Service_Marketing
- services
- set
- sets
- Shannon
- Shannon-McMillan
- sharing
- shock
- Short-time
- Signal
- signal
- signaling
- Simple
- Simulated
- simulated
- simulation
- Simultaneous
- simultaneous
- simultaneous-
- Singapore
- singlesystem
- singularity
- sinks
- sinusoids
- situ
- size
- sliding
- Small
- small-world
- SNP
- SNR-based
- soap
- Social
- social
- socialnets
- Socio-physics
- SOFL
- soft
- softgoals
- software
- SOLiD
- solvable
- solving
- source
- space
- Spaceborne
- sparse
- spatial
- spatiotemporal
- specification-based
- specifications
- speed
- spin-1
- spin_density_waves
- spin_fluctuations
- Spiral
- spis
- spreading
- springer
- stability
- Stable
- stages
- Staggered
- stakeholder
- standard
- State-dependent
- statemachine
- statistic
- Statistical
- statistical
- statistics
- statphys23
- steel-steel
- step-by-step
- stereotypes
- stiffness
- Stimulation,
- Stimulation;
- Stochastic
- stochastic
- stock
- stocks
- storage
- stories
- StoryCapture
- strain
- STRATEGIC
- strategies
- stream
- Streaming
- stress
- Strong
- structural
- structure
- structures
- Study,
- Stylized
- subjectivity
- subscribe
- subspace
- substitution
- sufficiency
- summarization
- summerschool
- superlattice
- supervised
- Supplementary
- supply
- Support,
- sure
- surface
- survey
- Survival
- survival
- SVM
- swap
- SWCNTs