Relevant bibliographies by topics / Design specifications

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Design specifications'

Author: Grafiati
Published: 4 June 2021
Last updated: 13 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Design specifications.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Design specifications"

1

Spescha, Daniel, Sascha Weikert, and Konrad Wegener. "Design to Specifications - A Strategy for Specification-Based Machine Design." Procedia CIRP 77 (2018): 561–65. http://dx.doi.org/10.1016/j.procir.2018.08.223.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Huicong, Hu, and Lu Wen-Feng. "Design specification representation for intelligent product appearance design." E3S Web of Conferences 179 (2020): 02004. http://dx.doi.org/10.1051/e3sconf/202017902004.

Full text
Abstract:
Traditional intelligent product design usually focuses on functional design, aiming to generate appropriate structures that would provide required functions. Design specifications are mainly formulized into technical descriptions or values that are related to certain functional or usability requirements. In today’s global market, to in-crease user satisfaction, the appearance design of a product become vital for users to make purchasing decisions. This is particularly true of today’s consumer products such as mobile phones, digital cameras, and other electronic products. In intelligent product appearance design, design specifications are merely described as basic geometric dimensions and types of surface materials. Additionally, the aesthetic considerations and emotional needs of product appearance are seldom discussed when establishing design specifications for product appearance design. In this regard, the objective of this study is to propose a design specification representation framework for intelligent product appearance design considering both emotional and aesthetic aspects. The framework be-gins to investigate user needs by acquiring user aesthetic experience. Based on the notion of aesthetic experience, a detailed representation model of appearance design specifications is provided for satisfying user emotional and aesthetic needs. Finally, a case study of the appearance design of digital cameras is provided to demonstrate the acquisition of user needs and establishment of design specifications based on the proposed framework.
APA, Harvard, Vancouver, ISO, and other styles
3

Coruh, Esen. "Teaching technical specifications in fashion design education." New Trends and Issues Proceedings on Humanities and Social Sciences 2, no. 1 (February 19, 2016): 256–63. http://dx.doi.org/10.18844/gjhss.v2i1.319.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Alexander, Perry. "Task Analysis and Design Plans in Formal Specification Design." International Journal of Software Engineering and Knowledge Engineering 08, no. 02 (June 1998): 223–52. http://dx.doi.org/10.1142/s0218194098000133.

Full text
Abstract:
This paper presents BENTON, a prototype system demonstrating task analysis and multi-agent reasoning applied to formal specification synthesis. BENTON transforms specifications written as attribute-value pairs into Larch Modula-3 interface language and Larch Shared Language specifications. BENTON decomposes the software specification design task into synthesis, analysis and evaluation subtasks. Each subtask is assigned a specific design method based on problem and domain characteristics. This task analysis is achieved using blackboard knowledge sources and multi-agent reasoning employing design plans to implement different problem solving methods. Knowledge sources representing different problem solving methodologies monitor blackboard spaces and activate when they are applicable. When executed, Design plans send subtasks to agents that select from available problem solving methodologies. BENTON agents and knowledge sources use case-based reasoning, schemata-based reasoning and procedure execution as their fundamental reasoning methods. This paper presents an overview of the BENTON design model, its agent architecture and plan execution capabilities, and two annotated examples of BENTON problem solving activities.
APA, Harvard, Vancouver, ISO, and other styles
5

Tsai, Jhy-Cherng, and Mark R. Cutkosky. "Representation and reasoning of geometric tolerances in design." Artificial Intelligence for Engineering Design, Analysis and Manufacturing 11, no. 4 (September 1997): 325–41. http://dx.doi.org/10.1017/s0890060400003255.

Full text
Abstract:
AbstractThe geometric dimensioning and tolerancing (GD&T) specifications of a design are directly associated with its performance and functional requirements. They also govern the manufacturing and quality control processes needed to achieve those requirements. This paper reviews recent work in geometric tolerance representation and reasoning and presents a generic and uniform graph-based representation scheme, called the Tolerance Network, to represent GD&T specifications across a part or assembly. The network can accommodate GD&T specifications related to the function, behavior, manufacturing, and inspection requirements embedded in design specifications and supports the use of different types of tolerances. The network also accommodates common design practices such as the specification of overconstrained features and parts. The necessary properties of such a network are discussed that allow under- and overconstrained design specifications to be detected and analyzed.
APA, Harvard, Vancouver, ISO, and other styles
6

Kusiak, A., and E. Szczerbicki. "A Formal Approach to Specifications in Conceptual Design." Journal of Mechanical Design 114, no. 4 (December 1, 1992): 659–66. http://dx.doi.org/10.1115/1.2917057.

Full text
Abstract:
In this paper, a methodology for the specification stage in conceptual design is presented. The specification stage provides requirements and transforms them into functions of the designed object. It occurs at the highest level of abstraction and it must provide enough information for the synthesis process where functions are transformed into design components that are further synthesized into the designed object. The proposed approach includes the following issues: specification of requirements, specification of functions, incorporation of logic into functional and requirement trees, representation of requirements-functions interaction, and optimization in the functional space. The methodology presented is illustrated with examples. Key words: design requirements, design specifications, conceptual design, design process, artificial intelligence, formal method
APA, Harvard, Vancouver, ISO, and other styles
7

Dandekar, Abhay, Ibrahim Zeid, and Theodore Bardasz. "User interface for specification language for case-based mechanical design." Artificial Intelligence for Engineering Design, Analysis and Manufacturing 11, no. 1 (January 1997): 17–31. http://dx.doi.org/10.1017/s0890060400001815.

Full text
Abstract:
AbstractCase-based design (CBD) systems aim to solve a design problem by tailoring previously solved design problems to the current problem. Designers' specifications are used for indexing the knowledge base of the CBD system to retrieve an appropriate design case. Menu-based systems fail to capture designers' specifications effectively due to lack of expressiveness, while natural language systems are too immature to satisfy the goal. This paper presents the development of a graphical user interface (GUI) to implement a mechanical design specification language (MDSL) (Stelling, 1994) used to facilitate indexing in case-based mechanical design. The specification language is context-free and hence computable. It represents mechanical design knowledge in a (feature):(attribute) format suitable for indexing. An augmented transition network (ATN) parser is built using the grammar of the specification language. The parser provides syntactic as well as semantic checks. It also has capabilities to expand grammar and to adapt to a specific user domain. A graphical front end to the parser assists and guides the user through the specification language syntax in entering the design specifications. Provisions have been made to expand or edit the language grammar and vocabulary. The ATN parser was implemented in Common Lisp and the graphical user interface was written using the Gold Hill Windows Toolkit. Sample user interactions with the interface and screen dumps of the GUI are included.
APA, Harvard, Vancouver, ISO, and other styles
8

Luo, Zhaohui. "Program specification and data refinement in type theory." Mathematical Structures in Computer Science 3, no. 3 (September 1993): 333–63. http://dx.doi.org/10.1017/s0960129500000256.

Full text
Abstract:
The study of type theory may offer a uniform language for modular programming, structured specification and logical reasoning. We develop an approach to program specification and data refinement in a type theory with a strong logical power and nice structural mechanisms to show that it provides an adequate formalism for modular development of programs and specifications. Specification of abstract data types is considered, and a notion of abstract implementation between specifications is defined in the type theory and studied as a basis for correct and modular development of programs by stepwise refinement. The higher-order structural mechanisms in the type theory provide useful and flexible tools (specification operations and parameterized specifications) for modular design and structured specification. Refinement maps (programs and design decisions) and proofs of implementation correctness can be developed by means of the existing proof development systems based on type theories.
APA, Harvard, Vancouver, ISO, and other styles
9

HOUDEK, FRANK, THILO SCHWINN, and DIETMAR ERNST. "DEFECT DETECTION FOR EXECUTABLE SPECIFICATIONS — AN EXPERIMENT." International Journal of Software Engineering and Knowledge Engineering 12, no. 06 (December 2002): 637–55. http://dx.doi.org/10.1142/s0218194002001128.

Full text
Abstract:
The deployment of executable specifications has increased significantly in the last few years. Just as with any other specification documents, these specifications must be examined to ensure the necessary degree of quality. A common and successful technique used for examining traditional specifications is inspection. Now the question has arisen whether inspections on executable specification are the best choice, or if other techniques which use the execution capabilities of the models perform better. In this paper, we empirically compare several defect detection techniques for executable specifications. In particular, we examine inspections, testing, and ad-hoc simulation. Here, we use the specification languages Statemate and Matlab/Simulink. Also, we take a closer look at the inspection process itself and try to quantify the benefits of an inspection meeting for executable specifications.
APA, Harvard, Vancouver, ISO, and other styles
10

CHEN, YIFENG, and J. W. SANDERS. "TOP-DOWN DESIGN OF BULK-SYNCHRONOUS PARALLEL PROGRAMS." Parallel Processing Letters 13, no. 03 (September 2003): 389–400. http://dx.doi.org/10.1142/s0129626403001367.

Full text
Abstract:
This paper studies top-down program development techniques for Bulk-Synchronous Parallelism. In that context a specification formalism LOGS, for 'the Logic of Global Synchrony', has been proposed for the specification and high-level development of BSP designs. This paper extends the use of LOGS to provide support for the protection of local variables in BSP programs, thus completing the link between specifications and programs.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Design specifications"

1

Hughes, Thomas S. "Animation prototyping of formal specifications." Thesis, Loughborough University, 1992. https://dspace.lboro.ac.uk/2134/27241.

Full text
Abstract:
At the present time one of the key issues relating to the design of real-time systems is the specification of software requirements. It is now clear that specification correctness is an essential factor for the design and implementation of high quality software. As a result considerable emphasis is placed on producing specifications which are not only correct, but provably so. This has led to the application of mathematically-based formal specification techniques in the software life-cycle model. Unfortunately, experience in safety-critical systems has shown that specification correctness is not, in itself, sufficient. Such specifications must also be comprehensible to all involved in the system development. The topic of this thesis—Animation Prototyping—is a methodology devised to make such specifications understandable and usable. Its primary objective is to demonstrate key properties of formal specifications to non-software specialists. This it does through the use of computer-animated pictures which respond to the dictates of the formal specification.
APA, Harvard, Vancouver, ISO, and other styles
2

Chiesi, Stephanie Sharo 1977. "System design visualizations for synthesizing intent specifications." Thesis, Massachusetts Institute of Technology, 2004. http://hdl.handle.net/1721.1/16654.

Full text
Abstract:
Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 2004.
Includes bibliographical references (leaves 55-56).
This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.
Today's aerospace industry is faced not only with the challenges of developing spacecraft and supporting technologies to explore the unknown, but they must do so successfully with tighter budgets and fewer personnel. Mission failure causes publicity that the industry cannot afford in this economy. To maintain project schedules and prevent budget overruns, problems in the spacecraft system design must be found early in the development stages. An approach to using existing system design visualizations to aid system verification and validation in the early design stages is described. These commonly used system design visualizations are used to create and intent specification in a systems engineering development environment known as SpecTRM. The intent specification is executable and analyzable, allowing system design flaws and requirements problems to be determined prior to any hardware or coding development. An example of the utilization of these system design visualizations to create an intent specification is applied to the mobility and positioning system (MAPS) of a robot designed to process thermal tiles on the space shuttle.
by Stephanie Sharo Chiesi.
S.M.
APA, Harvard, Vancouver, ISO, and other styles
3

Verdier, Guillaume. "Variants of acceptance specifications for modular system design." Thesis, Toulouse 3, 2016. http://www.theses.fr/2016TOU30044/document.

Full text
Abstract:
Les programmes informatiques prennent une place de plus en plus importante dans nos vies. Certains de ces programmes, comme par exemple les systèmes de contrôle de centrales électriques, d'avions ou de systèmes médicaux sont critiques : une panne ou un dysfonctionnement pourraient causer la perte de vies humaines ou des dommages matériels ou environnementaux importants. Les méthodes formelles visent à offrir des moyens de concevoir et vérifier de tels systèmes afin de garantir qu'ils fonctionneront comme prévu. Au fil du temps, ces systèmes deviennent de plus en plus évolués et complexes, ce qui est source de nouveaux défis pour leur vérification. Il devient nécessaire de développer ces systèmes de manière modulaire afin de pouvoir distribuer la tâche d'implémentation à différentes équipes d'ingénieurs. De plus, il est important de pouvoir réutiliser des éléments certifiés et les adapter pour répondre à de nouveaux besoins. Aussi les méthodes formelles doivent évoluer afin de s'adapter à la conception et à la vérification de ces systèmes modulaires de taille toujours croissante. Nous travaillons sur une approche algébrique pour la conception de systèmes corrects par construction. Elle définit un formalisme pour exprimer des spécifications de haut niveau et permet de les raffiner de manière incrémentale en des spécifications plus concrètes tout en préservant leurs propriétés, jusqu'à ce qu'une implémentation soit atteinte. Elle définit également plusieurs opérations permettant de construire des systèmes complexes à partir de composants plus simples en fusionnant différents points de vue d'un même système ou en composant plusieurs sous-systèmes ensemble, ainsi que de décomposer une spécification complexe afin de réutiliser des composants existants et de simplifier la tâche d'implémentation. Le formalisme de spécification que nous utilisons est basé sur des spécifications modales. Intuitivement, une spécification modale est un automate doté de deux types de transitions permettant d'exprimer des comportements optionnels ou obligatoires. Raffiner une spécification modale revient à décider si les parties optionnelles devraient être supprimées ou rendues obligatoires. Cette thèse contient deux principales contributions théoriques basées sur une extension des spécifications modales appelée " spécifications à ensembles d'acceptation ". La première contribution est l'identification d'une sous-classe des spécifications à ensembles d'acceptation, appelée " spécifications à ensembles d'acceptation convexes ", qui permet de définir des opérations bien plus efficaces tout en gardant un haut niveau d'expressivité. La seconde contribution est la définition d'un nouveau formalisme, appelé " spécifications à ensembles d'acceptation marquées ", qui permet d'exprimer des propriétés d'atteignabilité. Ceci peut, par exemple, être utilisé pour s'assurer qu'un système termine ou exprimer une propriété de vivacité dans un système réactif. Les opérations usuelles sont définies sur ce nouveau formalisme et elles garantissent la préservation des propriétés d'atteignabilité. Cette thèse présente également des résultats d'ordre plus pratique. Tous les résultats théoriques sur les spécifications à ensembles d'acceptation convexes ont été prouvés en utilisant l'assistant de preuves Coq. L'outil MAccS a été développé pour implémenter les formalismes et opérations présentés dans cette thèse. Il permet de les tester aisément sur des exemples, ainsi que d'étudier leur efficacité sur des cas concrets
Software programs are taking a more and more important place in our lives. Some of these programs, like the control systems of power plants, aircraft, or medical devices for instance, are critical: a failure or malfunction could cause loss of human lives, damages to equipments, or environmental harm. Formal methods aim at offering means to design and verify such systems in order to guarantee that they will work as expected. As time passes, these systems grow in scope and size, yielding new challenges. It becomes necessary to develop these systems in a modular fashion to be able to distribute the implementation task to engineering teams. Moreover, being able to reuse some trustworthy parts of the systems and extend them to answer new needs in functionalities is increasingly required. As a consequence, formal methods also have to evolve in order to accommodate both the design and the verification of these larger, modular systems and thus address their scalability challenge. We promote an algebraic approach for the design of correct-by-construction systems. It defines a formalism to express high-level specifications of systems and allows to incrementally refine these specifications into more concrete ones while preserving their properties, until an implementation is reached. It also defines several operations allowing to assemble complex systems from simpler components, by merging several viewpoints of a specific system or composing several subsystems together, as well as decomposing a complex specification in order to reuse existing components and ease the implementation task. The specification formalism we use is based on modal specifications. In essence, a modal specification is an automaton with two kinds of transitions allowing to express mandatory and optional behaviors. Refining a modal specification amounts to deciding whether some optional parts should be removed or made mandatory. This thesis contains two main theoretical contributions, based on an extension of modal specifications called acceptance specifications. The first contribution is the identification of a subclass of acceptance specifications, called convex acceptance specifications, which allows to define much more efficient operations while maintaining a high level of expressiveness. The second contribution is the definition of a new formalism, called marked acceptance specifications, that allows to express some reachability properties. This could be used for example to ensure that a system is terminating or to express a liveness property for a reactive system. Usual operations are defined on this new formalism and guarantee the preservation of the reachability properties as well as independent implementability. This thesis also describes some more practical results. All the theoretical results on convex acceptance specifications have been proved using the Coq proof assistant. The tool MAccS has been developed to implement the formalisms and operations presented in this thesis. It allows to test them easily on some examples, as well as run some experimentations and benchmarks
APA, Harvard, Vancouver, ISO, and other styles
4

Ranganathan, Krishna. "DVTG - Design Verification Test Generation from Rosetta Specifications." University of Cincinnati / OhioLINK, 2001. http://rave.ohiolink.edu/etdc/view?acc_num=ucin994691304.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Umaretiya, Jagdish R. "Specifications extraction and synthesis: Their correlations with preliminary design." Diss., The University of Arizona, 1990. http://hdl.handle.net/10150/185035.

Full text
Abstract:
This report addresses the research applied towards the automation of the engineering design process, in particular the structural design process. The three important stages of the structural design process are: the specifications, preliminary design and the detailed design. An iterative redesign architecture of the structural design process lends itself to automation. The automation of the structural design can improve both the cost and the reliability, and enhance the productivity of the human designers. To the extent that the assumptions involved in the design process are explicitly represented and automatically inforced, the design errors resulting from the violated assumptions can be avoided. Artificial Intelligence (AI) addresses the automation of complex and knowledge-intensive tasks such as the structural design process. It involves the development of the Knowledge Based Expert System (KBES). There are several tools, also known as expert shells, and languages available for the development of knowledge-based expert systems. A general purpose language, called LISP, is very popular among researchers in AI and is used as an environmental tool for the development of the KBES for the structural design process. The resulting system, called Expert-SEISD, is very generic in nature. The Expert-SEISD is composed of the user interface, inference engine, domain specific knowledge and data bases and the knowledge acquisition. The present domain of the Expert-SEISD encompasses the design of structural components such as beams and plates. The knowledge acquisition module is developed to facilitate the incorporation of new capabilities (knowledge or data) for beams, plates and for new structural components. The decision making is an integral part of any design process. A decision-making model suitable for the specifications extraction and the preliminary design phases of the structural design process is proposed and developed based on the theory of fuzzy sets. The methods developed here are evaluated and compared with similar methods available in the literature. The new method, based on the union of fuzzy sets and contrast intensification, was found suitable for the proposed model. It was implemented as a separate module in the Expert-SEISD. A session with the Expert-SEISD is presented to demonstrate its capabilities of beam and plate designs and knowledge acquisition.
APA, Harvard, Vancouver, ISO, and other styles
6

Brackin, Margueritte Patricia Dodd. "Translating the voice of the customer into preliminary design specifications." Diss., Georgia Institute of Technology, 1997. http://hdl.handle.net/1853/17936.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Muhler, Michael Ludwig. "Robust control system design by mapping specifications into parameter spaces." [S.l.] : [s.n.], 2007. http://deposit.ddb.de/cgi-bin/dokserv?idn=984575332.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Zhang, Lizhong. "Implementing real-time reactive systems from object-oriented design specifications." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2000. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape3/PQDD_0016/MQ54340.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Andersson, Sofie. "Automatic Control Design Synthesis under Metric Interval Temporal Logic Specifications." Thesis, KTH, Skolan för elektro- och systemteknik (EES), 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-187716.

Full text
Abstract:
The problem of synthesizing controllers for motion planning of multi-agent systems under Linear Temporal Logic (LTL) high-level specifications has been of great interest and has been widely studied over the last years. However, LTL cannot handle time constraints as specifications. The time aspect would allow more complicated and specific tasks and it is therefore desirable to incorporate. This work aims to determine how control synthesis for a continuous linear system can be performed based on Metric Interval Temporal Logic (MITL), which is able to handle desired time constraints to high-level specifications. Firstly, a control design synthesis method for a single-agent, based on previous work within both the field of LTL and MITL is presented. Secondly, a control design synthesis method for multi-agent systems considering both local an global MITL specifications is presented. Extended simulations has been performed in MATLAB environment demonstrating the two proposed methodologies. The result shows that the methods guarantee that the MITL specifications are satisfied, for all cases for which a solution is found.
Problemet gällande regulator syntetisering for rörelse planering av fler-agents system under Line-ar Temporal Logic (Linjär Temporal Logik=LTL) hög-nivå specifikationer har varit av stort intresse och har studerats brett under de senaste åren. LTL kan emellertid inte hantera tidsbegränsningar som specifikationer. Tidsaspekten skulle tillåta mer komplicerade och specifika uppgifter. Det är därför önskvärt att inkorporera. Målet med det här arbetet är att fastställa hur regulator syntetisering för ett kontinuerligt, linjärt system kan utföras utgående från Metric Interval Temporal Logic (Metrisk Intervall Temporal Logic =MITL), en gren av Temporal Logik som kan hantera de önskvärda tidsbegränsningarna för högnivå specifikationer. Först presenteras en metod för att syntetisera regulatorer för en-agents system. Metoden är baserad på tidigare arbeten inom fälten LTL och MITL. Sedan presenteras en metod för att syntetisera regulatorer för fler-agents system som ¨önskas uppfylla såväl lokala som globala MITL specifikationer. Utbredda simulationer har genomförts i MATLAB miljö för att demonstrera de två˚ föreslagna metoderna. Resultatet visar att metoderna garanterar att MITL specifikationerna är uppfyllda för alla fall för vilka en lösning hittas.
APA, Harvard, Vancouver, ISO, and other styles
10

Thakar, Aniruddha. "Visualization feedback from informal specifications." Thesis, This resource online, 1993. http://scholar.lib.vt.edu/theses/available/etd-03242009-040810/.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Design specifications"

1

Business & Technology Education Council. Design: Guidelines and module specifications. London: Business and Technology Education Council, 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

AASHTO LRFD bridge design specifications. Washington, DC: American Association of State Highway and Transportation Officials, 2010.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Officials, American Association of State Highway and Transportation. AASHTO LRFD bridge design specifications. Washington, D.C: American Association of State Highway and Transportation Officials, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

T, Yeomans David, and Chartered Institute of Architectural Technologists, eds. Specifying buildings: A design manangement perspective. 2nd ed. Amsterdam: Elsevier Butterworth-Heinemann, 2008.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Ontario. Ministry of Transportation. Quality and Standards Division. Ontario highway bridge design code. 3rd ed. [Downsview]: Ontario Ministry of Transportation, Quality and Standards Division, 1991.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Nebraska. Dept. of Roads. Supplemental specifications to the standard specifications for highway construction. [Lincoln]: Dept. of Roads, 2001.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Newman, Alexander. Metal building systems: Design and specifications. New York: McGraw Hill, 1997.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Structures, American Association of State Highway and Transportation Officials Subcommittee on Bridges and. Guide specifications for seismic isolation design. 3rd ed. Washington, D.C: American Association of State Highway and Transportation Officials, 2010.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Ehrig, Hartmut. Fundamentals of algebraic specification 2: Module specifications and constraints. Berlin: Springer-Verlag, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Division, Ontario Ministry of Transportation Quality and Standards. Code update: Ontario highway bridge design code update. 3rd ed. [Downsview]: Ontario Ministry of Transportation, Quality and Standards Division, 1995.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Design specifications"

1

Langer, Arthur M. "Design Specifications." In The Art of Analysis, 117–31. New York, NY: Springer New York, 1997. http://dx.doi.org/10.1007/978-1-4757-2748-7_7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Hill, Geoff. "Material Specifications." In Loudspeaker Modelling and Design, 99–100. New York, NY: Routledge, [2019]: Routledge, 2018. http://dx.doi.org/10.4324/9781351116428-25.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Gu, Da-Wei, Petko H. Petkov, and Mihail M. Konstantinov. "Robust Design Specifications." In Robust Control Design with MATLAB®, 23–30. London: Springer London, 2013. http://dx.doi.org/10.1007/978-1-4471-4682-7_3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Marwedel, Peter. "Specifications and Modeling." In Embedded System Design, 21–118. Dordrecht: Springer Netherlands, 2011. http://dx.doi.org/10.1007/978-94-007-0257-8_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Sheu, Phillip C. Y. "Design Methodologies and Specifications." In Software Engineering and Environment, 65–91. Boston, MA: Springer US, 1997. http://dx.doi.org/10.1007/978-1-4615-5907-8_4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Aguirre, Miguel A. "Requirements, Specifications, and Design." In Introduction to Space Systems, 45–63. New York, NY: Springer New York, 2012. http://dx.doi.org/10.1007/978-1-4614-3758-1_3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Halevi, Gideon. "Product Specifications and Design." In All-Embracing Manufacturing, 101–32. Dordrecht: Springer Netherlands, 2012. http://dx.doi.org/10.1007/978-94-007-4180-5_5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Gogolla, Martin. "Parameterizing object specifications." In Design and Implementation of Symbolic Computation Systems, 126–37. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61697-7_12.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Chen, David, Bruno Vallespir, and Guy Doumeingts. "Preliminary Design: Translating Requirements to Design Specifications." In Handbook on Enterprise Architecture, 545–74. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/978-3-540-24744-9_15.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Boldea, Ion. "Motor Specifications and Design Principles." In Induction Machines Handbook, 99–122. Third edition. | Boca Raton: CRC Press, 2020. |: CRC Press, 2020. http://dx.doi.org/10.1201/9781003033424-4.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Design specifications"

1

Otto, Kevin N. "Forming Product Design Specifications." In ASME 1996 Design Engineering Technical Conferences and Computers in Engineering Conference. American Society of Mechanical Engineers, 1996. http://dx.doi.org/10.1115/96-detc/dtm-1517.

Full text
Abstract:
Abstract Design teams commonly form quantitative functional specification lists that define performance targets for a product. Meeting these specifications ensures that the customer needs are satisfied. A central difficulty is to identify the relevant metrics to use as specifications. A working methodology is presented here to establish relevant, quantitative, measurable performance specifications. To start, customer needs, their importances, and the customer use patterns are gathered for the product. Voice-of-the-customer methods are augmented to distinguish no-compromise constraints that must be met. Next, a design is analyzed to establish a representative function structure, applying Pahl and Beitz’s systematic design approach. An optimal function structure can now be defined by a condition of simultaneous maximum simplicity and comprehensive coverage of the gathered customer needs. The function structure can then be used as a list over which specifications are to be made, with at least one specification per sub-function. Having a rational function structure allows a team to more easily determine variables on which to make specifications. A team can then use the House of Quality to document and form consensus over these specifications in the typical way.
APA, Harvard, Vancouver, ISO, and other styles
2

Dabbeeru, Madan Mohan, and Amitabha Mukerjeet. "Negotiating design specifications." In the 2008 ACM symposium. New York, New York, USA: ACM Press, 2008. http://dx.doi.org/10.1145/1364901.1364948.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Carothers, Jo Dale. "Design Methodologies for Computer Architecture Specifications." In ASME 1991 Design Technical Conferences. American Society of Mechanical Engineers, 1991. http://dx.doi.org/10.1115/detc1991-0062.

Full text
Abstract:
Abstract The importance of the study of design theory and methodologies has become apparent in all disciplines of engineering. In particular, if the computer industry is to advance at the rate of improvements in semiconductor technology, then better methods must be developed for designing and verifying computer architectures. The field of computer-aided design (CAD) has provided tools and analysis techniques for use in this area. However, the vast majority of CAD systems require a formal, complete specification of the computer’s design as input. Creating such a complex specification is itself a very difficult, time-consuming task. In reality this is truly the “design” phase and is usually assumed already complete by CAD systems. The design, including performance/cost trade-offs and verification, of architecture specifications is the subject of this research.
APA, Harvard, Vancouver, ISO, and other styles
4

Sun, Nuogang, Youyun Zhang, and Xuesong Mei. "A Simplified Systematic Method of Acquiring Design Specifications From Customer Requirements." In ASME 2007 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2007. http://dx.doi.org/10.1115/detc2007-34769.

Full text
Abstract:
Faithfully obtaining design specifications from customer requirements is essential for successful designs. The natural lingual, inexact, incomplete and vague attributes of customer requirements make it very difficult to map customer requirements to design specifications. In general design process, the design specifications are determined by designers based on their experience and intuition, and often a certain target value is set for a specification. However, it is on one hand very difficult, on the other hand unreasonable, so a suitable limit range rather than a certain value is preferred at the beginning of design, especially at the concept design process. In this paper, a simplified systematic approach of transforming customer requirements to design specifications is proposed. First, a two-stepped clustering approach for grouping customer requirements and design specifications based on HOQ matrix is presented, by which the mapping is limited to within each group. To further simplify the inference mapping rules of customer requirements and design specifications, the minimal condition inference mapping rules for each design specification are extracted based on rough set theory. In the end, a suitable value range is determined for a specification by applying the fuzzy rule matrix.
APA, Harvard, Vancouver, ISO, and other styles
5

Takai, Shun, and Kosuke Ishii. "Cost-Specification Analysis: Design Concept Selection Based on Target Cost and Specifications." In ASME 2001 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 2001. http://dx.doi.org/10.1115/detc2001/dfm-21193.

Full text
Abstract:
Abstract This paper proposes a new system design methodology called the Cost-Specification Analysis. The method seeks to satisfy both target cost and required functionality simultaneously. The method assumes that the worth of a product’s structure such as a main system, a sub-system, an assembly and a part, or its specifications is proportional to its degree of contribution to fulfill the customer needs. The paper first presents systematic procedure to allocate the importance of the “Voice of the Customer” to product’s structures and their specifications. The Cost-Specification Analysis evaluates design concept candidates based on the target cost of a structure calculated from its worth, and the target specifications. The design concept that satisfies both the target cost and the specifications should lead to larger customer satisfaction and financially successful product. The design concept selection of a particle beam control system in linear accelerator serves as an illustrative example.
APA, Harvard, Vancouver, ISO, and other styles
6

Banerjee, A., B. Pal, S. Das, A. Kumar, and P. Dasgupta. "Test generation games from formal specifications." In 2006 Design Automation Conference. IEEE, 2006. http://dx.doi.org/10.1109/dac.2006.229273.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Antoy, S. "Systematic design of algebraic specifications." In the 5th international workshop. New York, New York, USA: ACM Press, 1989. http://dx.doi.org/10.1145/75199.75241.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Ericsen, T. S. "Model based specifications for design." In 2006 IEEE Power Engineering Society General Meeting. IEEE, 2006. http://dx.doi.org/10.1109/pes.2006.1709482.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Weinstein, Ronald S., Kenneth J. Bloom, and L. S. Rozek. "Telepathology: System Design And Specifications." In 1987 Cambridge Symposium, edited by T. Russell Hsing. SPIE, 1987. http://dx.doi.org/10.1117/12.976531.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Zarour, Mohammad, Mamdouh Alenezi, and Khalid Alsarayrah. "Software Security Specifications and Design." In EASE '20: Evaluation and Assessment in Software Engineering. New York, NY, USA: ACM, 2020. http://dx.doi.org/10.1145/3383219.3383284.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Design specifications"

1

CORPS OF ENGINEERS WASHINGTON DC. Engineering and Design: Specifications. Fort Belvoir, VA: Defense Technical Information Center, December 1998. http://dx.doi.org/10.21236/ada404159.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

CORPS OF ENGINEERS WASHINGTON DC. Engineering and Design: Design Analysis, Drawings and Specifications. Fort Belvoir, VA: Defense Technical Information Center, May 1997. http://dx.doi.org/10.21236/ada404044.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Weissman, Alex, Satyandra K. Gupta, Xenia Fiorentini, Rachuri Sudarsan, and Ram D. Sriram. Formal representation of product design specifications for validating product designs. Gaithersburg, MD: National Institute of Standards and Technology, 2009. http://dx.doi.org/10.6028/nist.ir.7626.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Lichota, Randall W. Design Specifications for Adaptive Real-Time Systems. Fort Belvoir, VA: Defense Technical Information Center, December 1991. http://dx.doi.org/10.21236/ada245051.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Rubinov, Paul, and /Fermilab. AFEII Analog Front End Board Design Specifications. Office of Scientific and Technical Information (OSTI), April 2005. http://dx.doi.org/10.2172/1012682.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Hickey, Albert E., J. M. Spector, and Daniel J. Muraida. Design Specifications for the Advanced Instructional Design Advisor (AIDA). Volume 1. Fort Belvoir, VA: Defense Technical Information Center, January 1992. http://dx.doi.org/10.21236/ada248201.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Allen, C., R. Blazek, J. Desch, J. Elarton, D. Kautz, D. Markley, H. Morgenstern, R. Stewart, and L. Warner. Design specifications for manufacturability of MCM-C multichip modules. Office of Scientific and Technical Information (OSTI), June 1995. http://dx.doi.org/10.2172/83879.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Pope, Jodie G. Hydrogen Field Test Standard Design, Operating Instructions, and Specifications. National Institute of Standards and Technology, August 2015. http://dx.doi.org/10.6028/nist.tn.1888.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Riestenberg, David. SECARB Report on Design Specifications for Initial Reservoir Modeling. Office of Scientific and Technical Information (OSTI), November 2009. http://dx.doi.org/10.2172/1820343.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

CORPS OF ENGINEERS WASHINGTON DC. Engineering and Design: Plans and Specifications for Civil Works Projects. Fort Belvoir, VA: Defense Technical Information Center, October 1993. http://dx.doi.org/10.21236/ada404119.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Design specifications' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography