Search results for "µ-charts"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
85	Irfan Ertugrul, Mustafa Günes	The Usage of Fuzzy Quality Control Charts to Evaluate Product Quality and an Application.	Analysis and Design of Intelligent Systems using Soft Computing Techniques	2007	DBLP DOI BibTeX RDF	Fuzzy Control Charts, Fuzzy Logic, Control Charts, Statistical Quality Control
78	Scott Bateman, Regan L. Mandryk, Carl Gutwin, Aaron Genest, David McDine, Christopher A. Brooks 0001	Useful junk?: the effects of visual embellishment on comprehension and memorability of charts.	CHI	2010	DBLP DOI BibTeX RDF	information visualization, charts, imagery, memorability
71	Daniel A. Keim, Ming C. Hao, Umeshwar Dayal	Hierarchical Pixel Bar Charts.	IEEE Trans. Vis. Comput. Graph.	2002	DBLP DOI BibTeX RDF	multidimensional data visualization, visual data exploration and data mining, very large multiattributes data sets, hierarchical visualization, Information visualization
61	Daniel A. Keim, Ming C. Hao, Julian Ladisch, Meichun Hsu, Umeshwar Dayal	Pixel Bar Charts: A New Technique for Visualizing Large Multi-Attribute Data Sets without Aggregation.	INFOVIS	2001	DBLP DOI BibTeX RDF	Pixel Bar Charts, Multi-attributes Visualization, No-aggregation, No-overlapping
60	Okan Topçu, Mehmet Adak, Halit Oguztüzün	Metamodeling live sequence charts for code generation.	Softw. Syst. Model.	2009	DBLP DOI BibTeX RDF	Code generation, Metamodeling, Message sequence charts, Live sequence charts
54	Daniel A. Keim, Ming C. Hao, Umeshwar Dayal, Martha Lyons	Value-Cell Bar Charts for Visualizing Large Transaction Data Sets.	IEEE Trans. Vis. Comput. Graph.	2007	DBLP DOI BibTeX RDF	Information visualization, methodologies, multivariate visualization, visualization techniques
54	Jon Whittle 0001, Praveen K. Jayaraman	Generating Hierarchical State Machines from Use Case Charts.	RE	2006	DBLP DOI BibTeX RDF
54	Jesús Manuel Almendros-Jiménez, Luis Iribarne	Describing Use Cases with Activity Charts.	Metainformatics	2004	DBLP DOI BibTeX RDF
54	Vladimir Levin, Doron A. Peled	Verification of Message Sequence Charts via Template Matching.	TAPSOFT	1997	DBLP DOI BibTeX RDF
53	Mohammad Hossein Fazel Zarandi, Adel Alaeddini, I. Burhan Türksen, Mehdi Ghazanfari	A Neuro-fuzzy Multi-objective Design of Shewhart Control Charts.	Analysis and Design of Intelligent Systems using Soft Computing Techniques	2007	DBLP DOI BibTeX RDF	Control Charts Design, Genetic Algorithm, Fuzzy Set Theory, ANFIS, Statistical Process Control
53	Sven Knoth	Accurate ARL computation for EWMA-S2 control charts.	Stat. Comput.	2005	DBLP DOI BibTeX RDF	monitoring variance, product Nyström method, collocation, control charts, Fredholm integral equations
53	Doug Goldson	Formal Verification of mu-Charts.	APSEC	2002	DBLP DOI BibTeX RDF	µ-charts, formal verification, refinement, CSP
53	Greg Reeve, Steve Reeves	mu-Charts and Z: examples and extensions.	APSEC	2000	DBLP DOI BibTeX RDF	mu-Charts, reactive systems specification, local variables, integer-valued signals, formal specification, specification languages, specification language, statecharts, systems development, Z language, command language
52	Binsan Khadka, Boleslaw Mikolajczak	Transformation from live sequence charts to colored Petri nets.	SCSC	2007	DBLP BibTeX RDF	loosely coupled distributed systems, colored petri nets, message sequence charts, live sequence charts
50	Bruno Lévy 0001, Sylvain Petitjean, Nicolas Ray, Jérôme Maillot	Least squares conformal maps for automatic texture atlas generation.	ACM Trans. Graph.	2002	DBLP DOI BibTeX RDF	texture mapping, polygonal modeling, paint systems
47	Eward Lewis	The process analysis network method for business process re-engineering.	HICSS (4)	1995	DBLP DOI BibTeX RDF	process analysis network method, ProcessANN, Interpretative Structural Modelling, Lano's N/sup 2/ charts, Gantt charts, information technology, information technology, systems design, data modelling, systems analysis, systems re-engineering, stakeholder analysis, business process re-engineering
46	Alice Leslie Jacob, S. K. Pillai	Statistical Process Control to Improve Coding and Code Review.	IEEE Softw.	2003	DBLP DOI BibTeX RDF	XmR charts, u-charts, review preparation speed, code review speed, coding, statistical process control, defect density, software process management, control charts, code review
46	Jochen Klose, Hartmut Wittke	An Automata Based Interpretation of Live Sequence Charts.	TACAS	2001	DBLP DOI BibTeX RDF
46	Yan Ping Zhou, Chew Lim Tan	Bar Charts Recognition Using Hough Based Syntactic Segmentation.	Diagrams	2000	DBLP DOI BibTeX RDF
45	Challen Pride-Thorne, Steve Murphy, Sandra Seenauth	Probing the use of charts and graphs in technical documentation through analysis and pragmatic collaboration.	SIGDOC	2009	DBLP DOI BibTeX RDF	information graphics, technical writer, graphs, documentation, translation, globalization, graphic design, charts
45	Peter Scholz	Partitioning of perfect synchroneous reactive specifications to distributed processors using µ-charts.	Softw. Syst. Model.	2006	DBLP DOI BibTeX RDF	?-charts, Perfect synchrony, Fixed point semantics, Distributed systems, Partitioning, Statecharts, Reactive systems
45	Bikram Sengupta, Rance Cleaveland	Triggered Message Sequence Charts.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	refinement, scenarios, formal semantics, Message Sequence Charts, requirements modeling
45	Bikram Sengupta, Rance Cleaveland	Triggered message sequence charts.	SIGSOFT FSE	2002	DBLP DOI BibTeX RDF	refinement orderings, scenario-based requirements, message sequence charts
41	Hitoshi Yamauchi, Stefan Gumhold, Rhaleb Zayer, Hans-Peter Seidel	Mesh segmentation driven by Gaussian curvature.	Vis. Comput.	2005	DBLP DOI BibTeX RDF	Developability, Parameterization, Gaussian curvature, Mesh segmentation, Gauss map
41	Tao Wang, Abhik Roychoudhury, Roland H. C. Yap, S. C. Choudhary	Symbolic Execution of Behavioral Requirements.	PADL	2004	DBLP DOI BibTeX RDF
40	Hirokazu Notsu, Yoshihiro Okada, Mina Akaishi, Koichi Niijima	Time-Tunnel: Visual Analysis Tool for Time-Series Numerical Data and Its Extension toward Parallel Coordinates.	CGIV	2005	DBLP DOI BibTeX RDF	Multi-charts tool, Visualization tool, Parallel Coordinates, Analysis tool, IntelligentBox
40	Paula J. Pingree, Erich Mikk	The HiVy Tool Set.	CAV	2004	DBLP DOI BibTeX RDF	model checking, translation, Spin, state-charts, Stateflow
40	Mina Akaishi, Yoshihiro Okada	Time-tunnel: Visual Analysis Tool for Time-series Numerical Data and Its Aspects as Multimedia Presentation Tool.	IV	2004	DBLP DOI BibTeX RDF	Multi-charts tool, Multimedia presentation tool, Visualization tool, Analysis tool, IntelligentBox
39	Okan Topçu, Mehmet Adak, Halit Oguztüzün	A metamodel for federation architectures.	ACM Trans. Model. Comput. Simul.	2008	DBLP DOI BibTeX RDF	generic modeling environment, Simulation, architecture, code generation, metamodel, high-level architecture, message sequence charts, live sequence charts
38	Guo-Shi Li, Xavier Tricoche, Daniel Weiskopf, Charles D. Hansen	Flow Charts: Visualization of Vector Fields on Arbitrary Surfaces.	IEEE Trans. Vis. Comput. Graph.	2008	DBLP DOI BibTeX RDF
38	Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P. S. Thiagarajan, Shaofa Yang	Causal Message Sequence Charts.	CONCUR	2007	DBLP DOI BibTeX RDF
38	Hai H. Wang, Shengchao Qin, Jun Sun 0001, Jin Song Dong	Realizing Live Sequence Charts in SystemVerilog.	TASE	2007	DBLP DOI BibTeX RDF
38	Greg Reeve, Steve Reeves	Logic and refinement for charts.	ACSC	2006	DBLP BibTeX RDF	ZC, refinement, logic, statecharts, reactive systems, Z
38	Hassen Taleb, Mohamed Limam	Fuzzy Multinomial Control Charts.	AI*IA	2005	DBLP DOI BibTeX RDF
38	Hung Ledang, Jeanine Souquières	Contributions for Modelling UML State-Charts in B.	IFM	2002	DBLP DOI BibTeX RDF	class operation, B abstract machine, B operation, UML, event, activity, B method, state-chart
38	Anca Muscholl, Doron A. Peled, Zhendong Su 0001	Deciding Properties for Message Sequence Charts.	FoSSaCS	1998	DBLP DOI BibTeX RDF
37	Nicholas Kong, Maneesh Agrawala	Perceptual interpretation of ink annotations on line charts.	UIST	2009	DBLP DOI BibTeX RDF	freeform ink annotation, line charts, visualization, selection, visual perception, pointing, deixis
37	Pierre Combes, David Harel, Hillel Kugler	Modeling and verification of a telecommunication application using live sequence charts and the Play-Engine tool.	Softw. Syst. Model.	2008	DBLP DOI BibTeX RDF	Live sequence charts (LSCs), Verification, Requirements engineering, Telecommunication
37	Kristian Bisgaard Lassen, Boudewijn F. van Dongen	Translating Message Sequence Charts to other Process Languages Using Process Mining.	Trans. Petri Nets Other Model. Concurr.	2008	DBLP DOI BibTeX RDF	synthesis of scenarios-based models, process mining, message sequence charts
37	Binsan Khadka, Boleslaw Mikolajczak	Incorporating Object-Orientedness in Transformations from Live Sequence Charts to Colored Petri Nets.	ITNG	2008	DBLP DOI BibTeX RDF	Colored Petri Nets, Live Sequence Charts
37	Abhik Roychoudhury, Ankit Goel, Bikram Sengupta	Symbolic message sequence charts.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	unified modeling language (UML), message sequence charts
37	Qingtao Wu, Haichao Zhang, Jiexin Pu	Mitigating distributed denial-of-service attacks using network connection control charts.	Infoscale	2007	DBLP DOI BibTeX RDF	Shewhart's control charts, automated response model, network security, distributed denial-of-service
37	Annette Bunker, Ganesh Gopalakrishnan, Konrad Slind	Live sequence charts applied to hardware requirements specification and verification.	Int. J. Softw. Tools Technol. Transf.	2005	DBLP DOI BibTeX RDF	Protocol compliance, Virtual Component Interface Standard, Formal verification, Specification, Live Sequence Charts
37	Elsa L. Gunter, Anca Muscholl, Doron A. Peled	Compositional message sequence charts.	Int. J. Softw. Tools Technol. Transf.	2003	DBLP DOI BibTeX RDF	Finite-state communication protocols, Message sequence charts, Partial-order methods
37	Rajeev Alur, Kousha Etessami, Mihalis Yannakakis	Inference of Message Sequence Charts.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	concurrent state machines, formal verification, synthesis, scenarios, requirements analysis, Message sequence charts, realizability, deadlock freedom
37	Nam Hee Lee, Tai Hyo Kim, Sung Deok Cha	Construction of global finite state machine for testing task interactions written in message sequence charts.	SEKE	2002	DBLP DOI BibTeX RDF	task interaction, message sequence charts, integration testing
37	Anca Muscholl, Doron A. Peled	From Finite State Communication Protocols to High-Level Message Sequence Charts.	ICALP	2001	DBLP DOI BibTeX RDF	HMSC, bounded automata, partial order specification, specification, Message sequence charts
37	Radu Grosu, Ingolf Krüger, Thomas Stauner	Hybrid Sequence Charts.	ISORC	2000	DBLP DOI BibTeX RDF	sequence charts, formal methods, specification, requirements engineering, hybrid systems
37	Rajeev Alur, Kousha Etessami, Mihalis Yannakakis	Inference of message sequence charts.	ICSE	2000	DBLP DOI BibTeX RDF	concurrent state machines, synthesis, scenarios, message sequence charts, realizability, deadlock freedom
37	In Sang Chung, Hyeon Soo Kim, Hyun Seop Bae, Yong Rae Kwon, Byung-Sun Lee	Testing of Concurrent Programs Based on Message Sequence Charts.	PDSE	1999	DBLP DOI BibTeX RDF	Concurrent Program Testing, Constraints-based Testing, Message Sequence Charts
33	Wioleta Szwoch	Recognition, Understanding and Aestheticization of Freehand Drawing Flowcharts.	ICDAR	2007	DBLP DOI BibTeX RDF
33	Hillel Kugler, David Harel, Amir Pnueli, Yuan Lu, Yves Bontemps	Temporal Logic for Scenario-Based Specifications.	TACAS	2005	DBLP DOI BibTeX RDF
33	Apostolos Antonacopoulos, David P. Kennedy	An Automated Tachograph Chart Analysis System.	Document Analysis Systems	2002	DBLP DOI BibTeX RDF
33	Raghava G. Gowda	Structured techniques for IMIS (Integrated Maintenance Information System) software development - a case study.	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
32	Jeffrey Heer, Nicholas Kong, Maneesh Agrawala	Sizing the horizon: the effects of chart size and layering on the graphical perception of time series visualizations.	CHI	2009	DBLP DOI BibTeX RDF	graphical perception, horizon graphs, line charts, visualization, time series
32	David Harel, Shahar Maoz	Assert and negate revisited: Modal semantics for UML sequence diagrams.	Softw. Syst. Model.	2008	DBLP DOI BibTeX RDF	UML Interactions, Standardization, Formal semantics, Sequence diagrams, Live sequence charts
32	David Harel, Shahar Maoz	Assert and negate revisited: modal semantics for UML sequence diagrams.	SCESM	2006	DBLP DOI BibTeX RDF	inter-object approach, UML, semantics, specification, scenarios, sequence diagrams, live sequence charts, visual formalisms
32	Pankaj Jalote, Ashish Saxena	Optimum Control Limits for Employing Statistical Process Control in Software Process.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	statistical process control (SPC), inspections/reviews, software quality control, Software metrics, software process improvement (SPI), control charts
32	Peter Graubmann, Ekkart Rudolph	MSC Connectors: The Philosopher's Stone.	SAM	2002	DBLP DOI BibTeX RDF	Message Sequence Charts (MSC), MSC Connector, Component Oriented Software Development, System Family Engineering, Interface Protocol, Component, Interface, Compositionality
32	Peter T. Sander, Steven W. Zucker	Inferring Surface Trace and Differential Structure from 3-D Images.	IEEE Trans. Pattern Anal. Mach. Intell.	1990	DBLP DOI BibTeX RDF	3D image inference, surface trace, differential structure, trace points, functional minimization algorithm, overlapping local charts, clinical magnetic resonance images, pattern recognition, robustness, picture processing, inference mechanisms, image understanding, surface smoothness, principal curvature
31	Annette Bunker, Ganesh Gopalakrishnan, Sally A. McKee	Formal hardware specification languages for protocol compliance verification.	ACM Trans. Design Autom. Electr. Syst.	2004	DBLP DOI BibTeX RDF	Heterogeneous Hardware Logic, Hierarchical Annotated Action Diagrams, Lava, Objective VHDL, OpenVera, SpecC, Specification and Description Language, The Unified Modeling Language, Java, Statecharts, SystemC, Message Sequence Charts, Esterel, Live Sequence Charts, timing diagrams, hardware monitors, SystemVerilog, e, Property Specification Language
31	Gargi Keeni	The Evolution of Quality Processes at Tata Consultancy Services.	IEEE Softw.	2000	DBLP DOI BibTeX RDF	Malcolm Baldridge National Quality Award, process spread, Software CMM, U-charts, metrics, statistical process control, control charts
31	Patrica H. Baucom	Software Blueprints.	ACM Annual Conference (1)	1978	DBLP DOI BibTeX RDF	Chapin charts, Nassi-Shneiderman charts, Program design language, Structured code, Structured flowcharts, Structured programming team, Structured walkthrough, Software design, Structured programming, Stepwise refinement, Structured design, Iterative refinement
29	Soon Xin Ng, Osamah Alamri, Yonghui Li 0001, Jörg Kliewer, Lajos Hanzo	Near-capacity turbo trellis coded modulation design based on EXIT charts and union bounds - [transactions papers].	IEEE Trans. Commun.	2008	DBLP DOI BibTeX RDF
29	Fabian Mörchen	Organic Pie Charts.	ICDM	2008	DBLP DOI BibTeX RDF
29	German E. Sibay, Sebastián Uchitel, Víctor A. Braberman	Existential live sequence charts revisited.	ICSE	2008	DBLP DOI BibTeX RDF	partial behaviour models, synthesis, scenarios, mts
29	Edith Elkind, Blaise Genest, Doron A. Peled, Paola Spoletini	Quantifying the Discord: Order Discrepancies in Message Sequence Charts.	ATVA	2007	DBLP DOI BibTeX RDF
29	Yuehjen E. Shao, Chien-Ho Wu, Bin-Yih Ho, Bo-Sheng Hsu	Integration of Multivariate Control Charts and Neural Networks to Determine the Faults of Quality Characteristic(s) in a Multivariate Process.	CSCWD	2007	DBLP DOI BibTeX RDF
29	Feixiang Zhu, Yingjun Zhang, Wenhai Sang	Web Marine Spatial Information Service Based on Electronic Nautical Charts.	SNPD (3)	2007	DBLP DOI BibTeX RDF	Marine Spatial Information Service (MSIS), Electronic Nautical Chart (ENC), Component Object Model (COM), MapObjects
29	Thaddeus T. Shannon, James McNames	ICA Based Disturbance Specific Control Charts.	IRI	2007	DBLP DOI BibTeX RDF
29	W. Huang, C.-L. Tan	Locating Charts from Scanned Document Pages.	ICDAR	2007	DBLP DOI BibTeX RDF
29	Werner Damm, Tobe Toben, Bernd Westphal	On the Expressive Power of Live Sequence Charts.	Program Analysis and Compilation	2006	DBLP DOI BibTeX RDF
29	Tai Hyo Kim, Sung Deok Cha	Timed High-Level Message Sequence Charts for Real-Time System Design.	SAM	2006	DBLP DOI BibTeX RDF
29	Jon Whittle 0001	Specifying Precise Use Cases with Use Case Charts.	MoDELS (Satellite Events)	2005	DBLP DOI BibTeX RDF
29	Yves Bontemps, Pierre-Yves Schobbens	The Complexity of Live Sequence Charts.	FoSSaCS	2005	DBLP DOI BibTeX RDF
29	Manuel D. Rossetti, Zhe Li, Peng Qu	Exploring exponentially weighted moving average control charts to determine the warm-up period.	WSC	2005	DBLP DOI BibTeX RDF
29	Carl Steidley, Alexey L. Sadovski, Philippe Tissot, Ray Bachnak, Zack Bowles	Using an Artificial Neural Network to Improve Predictions of Water Levels Where Tide Charts Fail.	IEA/AIE	2005	DBLP DOI BibTeX RDF
29	Jun Sun 0001, Jin Song Dong	Model Checking Live Sequence Charts.	ICECCS	2005	DBLP DOI BibTeX RDF	Verification, CSP, FDR, LSCs
29	Werner Damm, Bernd Westphal	Introduction to Subject Area 'Charts'.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
29	Doug Goldson, Greg Reeve	Semantic Properties of mu-Charts.	SEFM	2003	DBLP DOI BibTeX RDF
29	Elsa L. Gunter, Anca Muscholl, Doron A. Peled	Compositional Message Sequence Charts.	TACAS	2001	DBLP DOI BibTeX RDF
29	Apostolos Antonacopoulos, David P. Kennedy	Information Extraction from Complex Circular Charts.	ICDAR	2001	DBLP DOI BibTeX RDF
29	Thomas Stützle	A Neural Network Approach to Quality Control Charts.	IWANN	1995	DBLP DOI BibTeX RDF
29	James R. Cordy, Richard C. Holt, David B. Wortman	Semantic charts: A diagrammatic approach to semantic processing.	SIGPLAN Symposium on Compiler Construction	1979	DBLP DOI BibTeX RDF
28	Calin Ciufudean, Constantin Filote, Dumitru Amarandei	Control Charts of Workflows.	ICDM	2008	DBLP DOI BibTeX RDF	Equivalent Transfer Functions, Control Charts of Workflows, Stochastic Petri Nets, Artificial Social Systems
28	Brad A. Myers, Jade Goldstein, Matthew A. Goldberg	Creating charts by demonstration.	CHI	1994	DBLP DOI BibTeX RDF	business charts, interactive techniques, data visualization, demonstrational interfaces
26	Lu Ying, Yun Wang 0012, Haotian Li 0001, Shuguang Dou, Haidong Zhang, Xinyang Jiang, Huamin Qu, Yingcai Wu	Reviving Static Charts into Live Charts.	CoRR	2023	DBLP DOI BibTeX RDF
26	Yangyang Zhou, Kongmeng Liew, Shuntaro Yada, Shoko Wakamiya, Eiji Aramaki	Music Charts for Approximating Everyday Emotions: A Dataset of Daily Charts with Music Features from 106 Cities.	ACIIW	2022	DBLP DOI BibTeX RDF
26	Dae Hyun Kim 0005, Vidya Setlur, Maneesh Agrawala	Towards Understanding How Readers Integrate Charts and Captions: A Case Study with Line Charts.	CoRR	2021	DBLP BibTeX RDF
26	Ishan Amarkumar Joshi	Unblind the charts: Towards Making Interactive Charts Accessible in Android Applications.	CoRR	2021	DBLP BibTeX RDF
26	Vidya Setlur, Haeyong Chung	Semantic Resizing of Charts Through Generalization: A Case Study with Line Charts.	CoRR	2021	DBLP BibTeX RDF
26	Dae Hyun Kim 0005, Vidya Setlur, Maneesh Agrawala	Towards Understanding How Readers Integrate Charts and Captions: A Case Study with Line Charts.	CHI	2021	DBLP DOI BibTeX RDF
26	Vidya Setlur, Haeyong Chung	Semantic Resizing of Charts Through Generalization: A Case Study with Line Charts.	IEEE VIS (Short Papers)	2021	DBLP DOI BibTeX RDF
26	Ross Sparks	Linking EWMA p Charts and the Risk Adjustment Control Charts.	Qual. Reliab. Eng. Int.	2017	DBLP DOI BibTeX RDF
26	L. P. Nadeeka D. Premarathna, A. Jonathan R. Godfrey, Kondaswamy Govindaraju	Control charts for paired differences: d¯ and Sd charts.	Qual. Reliab. Eng. Int.	2017	DBLP DOI BibTeX RDF
26	Murat Gülbay, Cengiz Kahraman	Intelligent Process Control Using Control Charts - I: Control Charts for Variables.	Intelligent Decision Making in Quality Management	2016	DBLP DOI BibTeX RDF
26	Seda Yanik, Cengiz Kahraman, Hafize Yilmaz	Intelligent Process Control Using Control Charts - II: Control Charts for Attributes.	Intelligent Decision Making in Quality Management	2016	DBLP DOI BibTeX RDF
26	Bulut Aslan, Yeliz Ekinci, Ayhan Özgür Toy	Special Control Charts Using Intelligent Techniques: EWMA Control Charts.	Intelligent Decision Making in Quality Management	2016	DBLP DOI BibTeX RDF
26	Eva Zangerle, Martin Pichl, Benedikt Hupfauf, Günther Specht	Can Microblogs Predict Music Charts? An Analysis of the Relationship Between #Nowplaying Tweets and Music Charts.	ISMIR	2016	DBLP BibTeX RDF
26	Alireza Faraz, Erwin Saniga	Multiobjective Genetic Algorithm Approach to the Economic Statistical Design of Control Charts with an Application to X¯bar and S2 Charts.	Qual. Reliab. Eng. Int.	2013	DBLP DOI BibTeX RDF