BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
base (8)
use (8)
develop (6)
applic (5)
softwar (5)

Stem shell$ (all stems)

31 papers:

CASECASE-2014-HeidingsfeldKTS #fault #modelling
Model-based sensor fault diagnosis for the Stuttgart SmartShell (MH, UK, CT, OS), pp. 846–851.
OSDIOSDI-2014-MooreDKC #named #scripting language
SHILL: A Secure Shell Scripting Language (SM, CD, DK, SC), pp. 183–199.
TACASTACAS-2012-HolzerKSTV #contest #proving #reachability #using
Proving Reachability Using FShell — (Competition Contribution) (AH, DK, CS, MT, HV), pp. 538–541.
CAVCAV-2008-HolzerSTV #dynamic analysis #generative #metric #named #testing
FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement (AH, CS, MT, HV), pp. 209–213.
DACDAC-2007-YeZL #optimisation #performance #power management #statistics #using
Statistical Leakage Power Minimization Using Fast Equi-Slack Shell Based Optimization (XY, YZ, PL), pp. 853–858.
AFPAFP-2004-PlasmeijerW04 #functional
A Functional Shell That Operates on Typed and Compiled Applications (RP, AvW), pp. 245–272.
HPDCHPDC-2004-WalkerM #coordination #using #workflow
Orchestrating and Coordinating Scientific/Engineering Workflows using GridShell (EW, TM), pp. 270–271.
ICSMEICSM-2003-LovrekJKLCHDL #maintenance #using
Improving Software Maintenance by using Agent-based Remote Maintenance Shell (IL, GJ, MK, IL, AC, DH, SD, OL), pp. 440–449.
IFLIFL-2003-WeeldenP #functional
A Functional Shell That Dynamically Combines Compiled Code (AvW, RP), pp. 36–52.
CSCWCSCW-2000-YankelovichBT
Sun SharedShell tool (NY, JB, JCT), p. 351.
HTHT-1999-Rau #towards
Towards the Recognitiion of the Shell as a Integral Part of the Digital Text (AR), pp. 119–120.
ITiCSEITiCSE-1997-JerinicD
OBOA model of explanation module in intelligent tutoring shell (LJ, VD), pp. 133–135.
ASEKBSE-1996-LeeG #collaboration #tutorial #using #web
Developing Collaborative Applications Using the World Wide Web “Shell” (Tutorial) (AL, AG), p. 3.
HTHT-1996-GirgensohnLS #case study #collaboration #experience #using #web
Experiences in Developing Collaborative Applications Using the World Wide Web “Shell” (AG, AL, KS), pp. 246–255.
CSCWCSCW-1996-LeeG #collaboration #tutorial #using #web
Developing Collaborative Applications Using the World Wide Web Shell (Tutorial) (AL, AG), p. 4.
ICPRICPR-1996-LinLC #3d #modelling #using
Recovery of 3-D closed surfaces using progressive shell models (RL, WCL, CTC), pp. 95–99.
ASEKBSE-1995-SatoTYWH #process #re-engineering #synthesis
Domain-Oriented Software Process Re-engineering with Software Synthesis Shell SOFTEX/S (AS, MT, TY, MW, MH), pp. 97–104.
LCTESLCT-RTS-1995-SchneiderCSP #component #programming #realtime
The ControlShell Component-Based Real-Time Programming System, and its Application to the Marsokhod Martian Rover (SAS, VWC, JS, GPC), pp. 146–155.
CAiSECAiSE-1994-Marttiin #automation #flexibility #process #towards
Towards Flexible Process Support with a CASE Shell (PM), pp. 14–27.
CADECADE-1994-RichardsKSW #logic #named
Mollusc: A General Proof-Development Shell for Sequent-Based Logics (BLR, IK, AS, GAW), pp. 826–830.
SEKESEKE-1993-LinCH #information management #network
A Generic Shell-Specialized Knowledge Acquisition Tool for Developing Network Management Software (CYIL, CCC, CSH), pp. 235–238.
ICLPICLP-1993-FarkasGMU #development #knowledge base #named #prolog
ZEXPERT — A Prolog-Based Shell for Knowledge Base Development (ZF, GG, KM, GU), pp. 835–836.
ASEKBSE-1992-YamanouchiSTTTW #synthesis
Software Synthesis Shell SOFTEX/S (TY, AS, MT, HT, JT, MW), p. 6.
CAiSECAiSE-1992-RossiGSJL #automation #editing #metamodelling
Metamodeling Editor as a Front End Tool for a CASE Shell (MR, MG, KS, LÅJ, KL), pp. 546–567.
CHICHI-1991-DzidaFV #interface #named
ERGO-Shell: a UNIX-interface for task preparation (WD, RF, WV), pp. 421–422.
CAiSECAiSE-1991-VerhoefHW #automation #modelling
Structuring Modelling Knowledge for CASE Shells (TFV, AHMtH, GMW), pp. 502–524.
DACDAC-1990-Jabri #knowledge-based #named #prolog
BREL — a Prolog Knowledge-based System Shell for VLSI CAD (MAJ), pp. 272–277.
CHICHI-1990-Borg #named #visual notation
IShell: a visual UNIX shell (KB), pp. 201–207.
PPDPPLILP-1990-LimS #constraints #logic programming
A Constraint Logic Programming Shell (PL, PJS), pp. 75–88.
OOPSLAOOPSLA-1987-DiederichM #design #object-oriented
An Object-Oriented Design System Shell (JD, JM), pp. 61–77.
ICSEICSE-1984-DeMarcoS #data flow #modula #named
SYNCRO: A Dataflow Command Shell for the Lilith/Modula Computer (TD, AS), pp. 207–213.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.