Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
  Browse All Reviews > Software (D) > Software Engineering (D.2) > Requirements/Specifications (D.2.1) > Languages (D.2.1...)  
  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 per page
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy