Log in

Relevant bibliographies by topics / Specification Patterns

Contents

Journal articles
Dissertations / Theses
Books
Book chapters
Conference papers
Reports

Academic literature on the topic 'Specification Patterns'

Author: Grafiati

Published: 4 June 2021

Last updated: 16 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 'Specification Patterns.'

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 "Specification Patterns"

1

Asteasuain, Fernando, and Víctor Braberman. "Specification Patterns: Formal and Easy." International Journal of Software Engineering and Knowledge Engineering 25, no. 04 (2015): 669–700. http://dx.doi.org/10.1142/s0218194015500060.

Full text

Abstract:

Property specification is still one of the most challenging tasks for transference of software verification technology. The use of patterns has been proposed in order to hide the complicated handling of formal languages from the developer. However, this goal is not entirely satisfied. When validating the desired property the developer may have to deal with the pattern representation in some particular formalism. For this reason, we identify four desirable quality attributes for the underlying specification language: succinctness, comparability, complementariness, and modifiability. We show tha

APA, Harvard, Vancouver, ISO, and other styles

2

Chun, Seung Su. "The Pattern Based Visual Property Specification Language and Supporting System for Software Verifications." Applied Mechanics and Materials 752-753 (April 2015): 1090–96. http://dx.doi.org/10.4028/www.scientific.net/amm.752-753.1090.

Full text

Abstract:

This paper deals with issue of properties specification for software verifications and translation between formal languages. Through this paper, the unique framework of property specifications including most kinds of formal specifications logics, automatic methods are shown by a property specifications guided system and PVSL(The Pattern based Visual property Specification Language).Additionally, a properties to specify and structures, Interconnection of them are also described by property charts. In this study, the pattern based visual property specification language (PVSL) is defined and prop

APA, Harvard, Vancouver, ISO, and other styles

3

Salamah, Salamah, Ann Q. Gates, Steve Roach, and Matthew Engskow. "Towards Support for Software Model Checking: Improving the Efficiency of Formal Specifications." Advances in Software Engineering 2011 (June 22, 2011): 1–13. http://dx.doi.org/10.1155/2011/869182.

Full text

Abstract:

The Property Specification (Prospec) tool uses patterns and scopes defined by Dwyer et al., to generate formal specifications in Linear Temporal Logic (LTL) and other languages. The work presented in this paper provides improved LTL specifications for patterns and scopes over those originally provided by Prospec. This improvement comes in the efficiency of the LTL formulas as measured in terms of the number of states in the Büchi automaton generated for the formula. Minimizing the size of the Büchi automata for an LTL specification provides a significant improvement for model checking software

APA, Harvard, Vancouver, ISO, and other styles

4

Baroudi, Djamila, and Safia Nait-Bahloul. "Observer Patterns for Timed Properties." International Journal of Software Innovation 9, no. 2 (2021): 1–17. http://dx.doi.org/10.4018/ijsi.2021040101.

Full text

Abstract:

Dwyer et al. proposed qualitative specification patterns that enable the practitioners of model checking tools to write formal specifications mainly used for automatic model checking. Although this involves formalisms that are not always easy to handle by engineers, to facilitate the integration of formal methods based on these definition patterns in the industrial field, several formal techniques and languages have been proposed. This paper studies a domain specific language named CDL which help non-experts writing formal specifications effortlessly. In CDL, a property is transformed into an

APA, Harvard, Vancouver, ISO, and other styles

5

Viriyasitavat, Wattana, Li Da Xu, and Zhuming Bi. "rmSWSpec: Real-Time Monitoring of Service Workflow Specification Language for Specification Patterns." IEEE Transactions on Industrial Informatics 15, no. 7 (2019): 4021–32. http://dx.doi.org/10.1109/tii.2018.2889749.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Chun, Seungsu. "Property Specification Patterns for intelligence building software." IOP Conference Series: Materials Science and Engineering 317 (March 2018): 012055. http://dx.doi.org/10.1088/1757-899x/317/1/012055.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

MONDRAGÓN, OSCAR A., and ANN Q. GATES. "SUPPORTING ELICITATION AND SPECIFICATION OF SOFTWARE PROPERTIES THROUGH PATTERNS AND COMPOSITE PROPOSITIONS." International Journal of Software Engineering and Knowledge Engineering 14, no. 01 (2004): 21–41. http://dx.doi.org/10.1142/s0218194004001567.

Full text

Abstract:

Prospec is a tool that assists practitioners in the elicitation and specification of system properties. Practitioners are guided by questions, definitions, and graphics. Prospec introduces the use of composite propositions to identify intended behavior when multiple conditions or events are considered. Multiple conditions or events may represent behavior such as sequences, concurrency, and non-determinism and may define the boundaries of scopes or type of patterns. Prospec is built upon the Specification Pattern System. The tool assists the analyst in making informed decisions about aspects of

APA, Harvard, Vancouver, ISO, and other styles

8

Sun, Yeran, Xuke Hu, Ying Huang, and Ting On Chan. "Spatial Patterns of Childhood Obesity Prevalence in Relation to Socioeconomic Factors across England." ISPRS International Journal of Geo-Information 9, no. 10 (2020): 599. http://dx.doi.org/10.3390/ijgi9100599.

Full text

Abstract:

To examine to what extent spatial inequalities in childhood obesity are attributable to spatial inequalities in socioeconomic characteristics across a country, we aimed to investigate the spatial associations of socioeconomic characteristics and childhood obesity. We first explored spatial patterns of childhood obesity prevalence, and subsequently investigated the spatial associations of socioeconomic factors and childhood obesity prevalence across England by selecting and estimating appropriate spatial regression models. As the data used are geospatial data, we used two newly developed specif

APA, Harvard, Vancouver, ISO, and other styles

9

Taibi, Toufik, and David Chek Ling Ngo. "Formal Specification of Design Patterns - A Balanced Approach." Journal of Object Technology 2, no. 4 (2003): 127. http://dx.doi.org/10.5381/jot.2003.2.4.a4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Lano, Kevin, Shekoufeh Kolahdouz-Rahimi, and Sobhan Yassipour-Tehrani. "Declarative Specification of Bidirectional Transformations Using Design Patterns." IEEE Access 7 (2019): 5222–49. http://dx.doi.org/10.1109/access.2018.2889399.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic "Specification Patterns"

1

Wolforth, Ian Philip. "Specification and use of component failure patterns." Thesis, University of Hull, 2010. http://hydra.hull.ac.uk/resources/hull:4455.

Full text

Abstract:

Safety-critical systems are typically assessed for their adherence to specified safety properties. They are studied down to the component-level to identify root causes of any hazardous failures. Most recent work with model-based safety analysis has focused on improving system modelling techniques and the algorithms used for automatic analyses of failure models. However, few developments have been made to improve the scope of reusable analysis elements within these techniques. The failure behaviour of components in these techniques is typically specified in such a way that limits the applicabil

APA, Harvard, Vancouver, ISO, and other styles

2

Mousavi, Bafrooi Seyedeh Elham. "Specification and Implementation of Workflow Control Patterns in Reo." Thesis, University of Waterloo, 2006. http://hdl.handle.net/10012/2946.

Full text

Abstract:

Abstract <br /><br /> Coordination models and languages are relatively new methods in modeling component-based software systems. These models and languages separate the communication aspect of systems from their computation aspect, and hence enable the modeling of concurrent, distributed, and heterogeneous systems. In this thesis, our goal is to show that Reo, a channel-based exogenous coordination language, is powerful enough to be used in the area of workflow management. In order to achieve this goal, we consider a set of workflow control patterns. We implement each of these pa

APA, Harvard, Vancouver, ISO, and other styles

3

Molana, H. "The aggregate consumption function : Theoretical formulation, econometric specification and the UK evidence." Thesis, University of Southampton, 1988. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.380555.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Salt, John D. "The specification of interactive behaviour patterns in object-oriented discrete-event simulation modelling." Thesis, Brunel University, 1999. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.286822.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Tyler, Benjamin James. "Specification and runtime monitoring of object-oriented systems." Columbus, Ohio : Ohio State University, 2006. http://rave.ohiolink.edu/etdc/view?acc%5Fnum=osu1143228898.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Mann, Deborah Mary. "Evolutionary patterns in Thamnochortus (Restionaceae) : a study of specification in the Cape floristic region." Master's thesis, University of Cape Town, 1996. http://hdl.handle.net/11427/16136.

Full text

Abstract:

Bibliography: pages 85-92.<br>Patterns of speciation and potential evolutionary pressures and constraints were investigated in the genus Thamnochortus. Phenetic methods were used to define boundaries of species prior to cladistic analyses. Comparative techniques were employed to investigate aspects of dispersal biology and fire survival habit. Methods of historical biogeography were used to evaluate vicariance and dispersal hypotheses. The broader understanding of species evolution gained in such a comparative study is important in conservation of species or areas, forming a basis for further

APA, Harvard, Vancouver, ISO, and other styles

7

Powell, Christine. "The NuRD complex has a role in the specification of DNA methylation patterns in pluripotent cells." Thesis, University of Edinburgh, 2007. http://hdl.handle.net/1842/12134.

Full text

Abstract:

The NuRD (Nucleosome Remodelling and Deacetylation) complex is a highly conserved and abundant transcriptional repression complex. Embryonic Stem (ES) cells lacking a central structural component of the complex, Mbd3, proliferate slowly and are unable to differentiate in the absence of LIF. We show here that in addition they show significant demethylation of DNA at a number of repetitive sequences, such as the centromeric repeats and IAP elements, as well as some single-copy DMRs and CpG islands throughout the genome. This demethylation is associated with histone hyperacetylation and aberrant

APA, Harvard, Vancouver, ISO, and other styles

8

Marmsoler, Diego [Verfasser], Manfred [Akademischer Betreuer] Broy, Alexander [Gutachter] Knapp, and Manfred [Gutachter] Broy. "Axiomatic Specification and Interactive Verification of Architectural Design Patterns in FACTum / Diego Marmsoler ; Gutachter: Alexander Knapp, Manfred Broy ; Betreuer: Manfred Broy." München : Universitätsbibliothek der TU München, 2019. http://d-nb.info/1180602188/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Krishnaswami, Neelakantan R. "Verifying Higher-Order Imperative Programs with Higher-Order Separation Logic." Research Showcase @ CMU, 2012. http://repository.cmu.edu/dissertations/164.

Full text

Abstract:

In this thesis I show is that it is possible to give modular correctness proofs of interesting higher-order imperative programs using higher-order separation logic. To do this, I develop a model higher-order imperative programming language, and develop a program logic for it. I demonstrate the power of my program logic by verifying a series of examples. This includes both realistic patterns of higher-order imperative programming such as the subject-observer pattern, as well as examples demonstrating the use of higher-order logic to reason modularly about highly aliased data structures such as

APA, Harvard, Vancouver, ISO, and other styles

10

Hallstrom, Jason Olof. "Design Pattern Contracts." The Ohio State University, 2004. http://rave.ohiolink.edu/etdc/view?acc_num=osu1090010266.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Specification Patterns"

1

Block, Carolyn R. Specification of patterns over time in Chicago homicide: Increases and decreases, 1965-1981. Illinois Criminal Justice Information Authority, 1985.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

2

Everett, G. W. Pattern cutting: Preparing patterns and specifications : Module 6. Footwear OPEN TECH Unit, 1985.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

3

Everett, G. W. Pattern cutting: Preparing patterns and specifications : Module 6. Footwear OPEN TECH Unit, 1985.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

4

Malacinski, George M. Gravity as a probe for understanding pattern specification. National Aeronautics and Space Administration, 1993.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

5

Complete guide to size specification and technical design. 2nd ed. Fairchild, 2009.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

6

Kivimäki, Mika. Stress and personality factors: Specifications of the role text anxiety, private self-consciousness, type A behavior pattern, and self-esteem in the relationship between stressors and stress reactions. Finnish Institute of Occupational Health, 1996.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

7

Mathieu, Éric, and Robert Truswell. Micro-change and macro-change in diachronic syntax. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780198747840.003.0001.

Full text

Abstract:

This introduction discusses current trends in diachronic linguistics with a focus on syntactic change and reviews the fifteen other chapters included in the volume. In the spirit of modern diachronic syntax, the selected articles show that very general patterns of change, emergent, multigenerational diachronic phenomena, interact with small, discrete, local, intergenerational changes in the lexical specification of grammatical features. General topics include acquisition biases, cross-categorial word order generalizations, typological particularities and universals, language contact, and trans

APA, Harvard, Vancouver, ISO, and other styles

8

Zimmermann, Eva. Conclusion. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780198747321.003.0008.

Full text

Abstract:

The main argumentations in this book are summarized. The theory of PDM was proposed that can account for all attested patterns of MLM. The most challenging empirical area where PDM offers a new insight is subtractive length manipulation: the prosodically defective integration of morpheme representations might result in non-realization of underlying phonological elements. Prosodic nodes either collaterally cause non-realization since they remain unrealized but need to dominate some amount of base material or elements can ’usurp’ a prosodic node from their base that they lack underlyingly. It wa

APA, Harvard, Vancouver, ISO, and other styles

9

Patterns for Performance and Operability: Building and Testing Enterprise Software. AUERBACH, 2007.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

10

Chris, Ford, ed. Patterns for performance and operability: Building and testing enterprise software. Auerbach Publications, 2008.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Specification Patterns"

1

Molina, Pedro J., Santiago Meliá, and Oscar Pastor. "User Interface Conceptual Patterns." In Interactive Systems:Design, Specification, and Verification. Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-36235-5_12.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Abid, Nouha, Silvano Dal Zilio, and Didier Le Botlan. "Real-Time Specification Patterns and Tools." In Formal Methods for Industrial Critical Systems. Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-32469-7_1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Lauder, Anthony, and Stuart Kent. "Precise visual specification of design patterns." In ECOOP’98 — Object-Oriented Programming. Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/bfb0054089.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Du, Min, and David England. "Temporal Patterns for Complex Interaction Design." In Interactive Systems: Design, Specification, and Verification. Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45522-1_7.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Vassev, Emil, and Mike Hinchey. "Formal Specification as High-Level Programming: The ASSL Approach." In Patterns, Programming and Everything. Springer London, 2012. http://dx.doi.org/10.1007/978-1-4471-2350-7_9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Walenstein, Andrew. "Foundations of Cognitive Support: Toward Abstract Patterns of Usefulness." In Interactive Systems:Design, Specification, and Verification. Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-36235-5_10.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Šenkýř, David, and Petr Kroha. "Patterns of Ambiguity in Textual Requirements Specification." In Advances in Intelligent Systems and Computing. Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-16181-1_83.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Boyko, Sergiy, Peter Forbrig, and Anatoli Yashin. "User Interface Design Patterns for Interactive Modeling in Demography and Biostatistics." In Interactive Systems:Design, Specification, and Verification. Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-36235-5_11.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Ackermann, Jörg, and Klaus Turowski. "A Library of OCL Specification Patterns for Behavioral Specification of Software Components." In Notes on Numerical Fluid Mechanics and Multidisciplinary Design. Springer International Publishing, 2006. http://dx.doi.org/10.1007/11767138_18.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Seffah, Ahmed, and Peter Forbrig. "Multiple User Interfaces: Towards a Task-Driven and Patterns-Oriented Design Model." In Interactive Systems:Design, Specification, and Verification. Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-36235-5_9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Specification Patterns"

1

Konrad, Sascha, and Betty H. C. Cheng. "Real-time specification patterns." In the 27th international conference. ACM Press, 2005. http://dx.doi.org/10.1145/1062455.1062526.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Welicki, León, Juan Manuel, Cueva Lovelle, and Luis Joyanes Aguilar. "Patterns meta-specification and cataloging." In Companion to the 21st ACM SIGPLAN conference. ACM Press, 2006. http://dx.doi.org/10.1145/1176617.1176670.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Šenkýř, David, and Petr Kroha. "Patterns in Textual Requirements Specification." In 13th International Conference on Software Technologies. SCITEPRESS - Science and Technology Publications, 2018. http://dx.doi.org/10.5220/0006827301970204.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Šenkýř, David, and Petr Kroha. "Patterns in Textual Requirements Specification." In 13th International Conference on Software Technologies. SCITEPRESS - Science and Technology Publications, 2018. http://dx.doi.org/10.5220/0006827302310238.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

"A SYSTEMATIC ANALYSIS PATTERNS SPECIFICATION." In 8th International Conference on Enterprise Information Systems. SciTePress - Science and and Technology Publications, 2006. http://dx.doi.org/10.5220/0002446404530456.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Haydar, May, Houari Sahraoui, and Alexandre Petrenko. "Specification Patterns for Formal Web Verification." In 2008 8th International Conference on Web Engineering (ICWE). IEEE, 2008. http://dx.doi.org/10.1109/icwe.2008.38.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Grunske, Lars. "Specification patterns for probabilistic quality properties." In the 13th international conference. ACM Press, 2008. http://dx.doi.org/10.1145/1368088.1368094.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Menghi, Claudio, Christos Tsigkanos, Thorsten Berger, Patrizio Pelliccione, and Carlo Ghezzi. "Property specification patterns for robotic missions." In ICSE '18: 40th International Conference on Software Engineering. ACM, 2018. http://dx.doi.org/10.1145/3183440.3195044.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Klebanov, Andrey. "On the Formal Specification of Automata-based Programs via Specification Patterns." In Spring/Summer Young Researchers' Colloquium on Software Engineering. Institute for System Programming of the Russian Academy of Sciences, 2010. http://dx.doi.org/10.15514/syrcose-2010-4-18.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Videira, Carlos, David Ferreira, and Alberto Rodrigues Da Silva. "A Linguistic Patterns Approach for Requirements Specification." In Proceedings. 32nd Euromicro Conference on Software Engineering and Advanced Applications (SEAA). IEEE, 2006. http://dx.doi.org/10.1109/euromicro.2006.8.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Specification Patterns"

1

Appelt, Douglas E., and Boyan Onyshkevych. The Common Pattern Specification Language. Defense Technical Information Center, 1998. http://dx.doi.org/10.21236/ada631525.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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!