نتایج جستجو برای: ضوابط ocl

تعداد نتایج: 4416  

ژورنال: :مهندسی برق و الکترونیک ایران 0
سعید جلیلی saeed jalili آرش کربلایی arash karbalaei

آزمون خودکار با استفاده از ضوابط نرم افزار از مهمترین زمینه های تحقیقاتی آزمون نرم افزار می باشد. اهمیت آزمون خودکار در کاهش هزینه های تولید نرم افزار و بالا بردن ضریب اطمینان به نرم افزار است. روش های موجود برای آزمون خودکار با تعریف معیارهای مورد نیاز که وابسته به کد و یا ضوابط نرم افزار می باشد، به دنبال تولید داده آزمون به منظور پوشش معیارها، اجرای آزمون روی برنامه و بررسی نتایج حاصل با ارا...

Journal: :The Journal of Object Technology 2020

Journal: :The Journal of Object Technology 2019

جلیلی, سعید, کربلایی, آرش ,

Test automation is one of the major areas in software engineering. Test automation can reduce the high cost of software development and at the same time increases the reliability of the testing process. In this paper we present a novel specification based framework for automating test process based on use case scenarios. It receives software specification that defined with UML at design level a...

Journal: :IEEE Access 2022

This paper presents the design of an output-capacitorless low-dropout voltage regulator (OCL-LDO) capable driving a wide range load capacitance and supplying current while maintaining excellent line regulations, thanks to combined indirect-direct nested Miller compensation which ensures stability maintains high loop gain over whole condition. Fabricated in 0.18-μm CMOS process consuming ...

2004
Stephan Flake

The textual Object Constraint Language (OCL) is an official part of the Unified Modeling Language (UML). A new concept in the recently adopted OCL version 2.0 is the notion of OCL messages that enable modelers to put restrictions on messages sent. However, this concept shows some shortcomings with respect to the existing OCL language concepts. On the one hand, the proposed syntax does not quite...

2009
Birgit Demuth Claas Wilke

1 The Object Constraint Language (OCL) is a formal language standardized by the OMG (Object Management Group) that allows the specification of constraints on MOF(Meta Object Facility) or EMF (Eclipse Modeling Framework) Ecore-based models. After about ten years of research and OCL prototyping in the area of using formal methods in practical software engineering, OCL is appreciated by the indust...

2013
Lars Schütze Claas Wilke Birgit Demuth

Although originally designed as an extension for the Uni ed Modeling Language (UML), the Object Constraint Language (OCL) has been broadly adopted in the context of UML as well as other modeling and domain-speci c languages. However, appropriate tooling, supporting software developers on using OCL is still scarce and lacks debugging support. As OCL constraints are likely to become rather comple...

Journal: :The Journal of clinical investigation 1998
T A Hentunen S V Reddy B F Boyce R Devlin H R Park H Chung K S Selander M Dallas N Kurihara D L Galson S R Goldring B A Koop J J Windle G D Roodman

Cellular and molecular characterization of osteoclasts (OCL) has been extremely difficult since OCL are rare cells, and are difficult to isolate in large numbers. We used the tartrate-resistant acid phosphatase promoter to target the bcl-XL and/or Simian Virus 40 large T antigen (Tag) genes to cells in the OCL lineage in transgenic mice as a means of immortalizing OCL precursors. Immunocytochem...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید