Search for Topics All Reviews
	Browse All Reviews > Software (D) > Software Engineering (D.2) > Requirements/Specifications (D.2.1) > Languages (D.2.1...)     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending     1-10 of 31 Reviews about "Languages (D.2.1...)": Date Reviewed   A model-driven approach for facilitating user-friendly design of complex event patterns Boubeta-Puig J., Ortiz G., Medina-Bulo I. Expert Systems with Applications: An International Journal 41(2): 445-456, 2014.  Type: Article Is graphical modeling for domain experts outside information technology (IT) the better choice in complex event processing (CEP) than doing it in some (text-based) event processing language (EPL)?... Oct 9 2015   Computational completeness of equations over sets of natural numbers Jeż A., Okhotin A. Information and Computation 23756-94, 2014.  Type: Article One basic issue in several areas of theoretical computer science is to characterize various classes C of functions or sets as those functions/sets that can be created from certain simple initial objects by means of c... Nov 13 2014   Automated comparison of state-based software models in terms of their language and structure Walkinshaw N., Bogdanov K. ACM Transactions on Software Engineering and Methodology 22(2): 1-37, 2013.  Type: Article, Reviews: (2 of 2) State machine models provide an effective way to compare different versions of a software system, or different systems to solve the same problem. They facilitate software development, testing, and maintenance.... Jul 3 2013   Automated comparison of state-based software models in terms of their language and structure Walkinshaw N., Bogdanov K. ACM Transactions on Software Engineering and Methodology 22(2): 1-37, 2013.  Type: Article, Reviews: (1 of 2) Using computer-aided software engineering (CASE) tools to compare different views of similar models offers software developers the ability to evaluate models both qualitatively and quantitatively. Related applications include model-che... Jun 24 2013   Specification and verification of time requirements with CCSL and Esterel André C., Mallet F.  LCTES 2009 (Proceedings of the 2009 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems, Dublin, Ireland, Jun 19-20, 2009) 167-176, 2009.  Type: Proceedings Timing is a key issue in reactive programming, a development paradigm suited to the design and implementation of safety-critical systems such as control and navigation devices that closely interact with their environment. While integra... Aug 6 2009   Model driven security: from UML models to access control infrastructures Basin D., Doser J., Lodderstedt T. ACM Transactions on Software Engineering and Methodology 15(1): 39-91, 2006.  Type: Article Are you tired of the lengthy encoding of your access control policies in your favorite realization technology? If so, the work presented in this paper may be very interesting to you. The authors demonstrate the benefits of the model-dr... Jul 5 2006   An Empirical Study of Programming Language Trends Chen Y., Dios R., Mili A., Wu L., Wang K. IEEE Software 22(3): 72-78, 2005.  Type: Article What determines a programming language’s success? What factors should we look at? Can we predict future trends? Does government support help a language? These intriguing questions were raised in this article, but were answere... Nov 10 2005   Real time UML: advances in the UML for real-time systems (3rd ed.) Douglass B., Addison Wesley Longman Publishing Co, Inc., Redwood City, CA, 2004.  Type: Book (9780321160768) Real-time system designers, those who write software with time constraints, will be happy to read this book, which demonstrates how to use unified modeling language (UML) to model real systems.... May 10 2005   A UML-Based Pattern Specification Technique France R., Kim D., Ghosh S., Song E. IEEE Transactions on Software Engineering 30(3): 193-206, 2004.  Type: Article France, Kim, Ghosh, and Song propose a pattern specification technique that employs unified modeling language (UML) pattern design. The proposed technique creates specialized metamodels that characterize UML design models of pattern so... Oct 8 2004   CASL user manual: introduction to using the common algebraic specification language Bidoit M., Mosses P., Springer-Verlag, London, UK, 2004. 240 pp.  Type: Book (9783540207665) It is important to note from the outset that this short Lecture Notes in Computer Science (LNCS) volume is the user manual for the common algebraic specification language (CASL), rather than the definitive and more extensive reference ... Sep 30 2004       Display 510152550100 per page
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy