Filters








2,710 Hits in 5.8 sec

Language Engineering with the GEMOC Studio

Benoit Combemale, Olivier Barais, Andreas Wortmann
2017 2017 IEEE International Conference on Software Architecture Workshops (ICSAW)  
Finally the last part will introduce advanced features for weaving concurrency constraints in language semantics definition, and leverage them for concurrency analysis and concurrent execution of, possibly  ...  Recent efforts in language workbenches result in advanced frameworks that support software engineers in the design and implementation of DSLs.  ... 
doi:10.1109/icsaw.2017.61 dblp:conf/icsa/CombemaleBW17 fatcat:ybm2hctx6vg7fjvloip4c5skzm

Developing parallel programs: A design-oriented perspective

Ali Ebnenasir, Rasoul Beik
2009 2009 ICSE Workshop on Multicore Software Engineering  
While numerous programming models and APIs exist for parallel programming, we pose the view that more emphasis should be placed on designing the synchronization mechanisms of parallel programs independent  ...  The behavioral correctness of parallel programs has a pivotal role in computational sciences and engineering applications as researchers draw scientific conclusions from the results generated by parallel  ...  Related Work In this section, we discuss related work from two standpoints; models and paradigms for parallel programming and software engineering techniques for the design of concurrent systems.  ... 
doi:10.1109/iwmse.2009.5071377 fatcat:hwvs67ei6bcuvjcj2trtps4cre

Abstract State Machines 1988-1998: Commented ASM Bibliography [article]

Egon Boerger, James K. Huggins
1998 arXiv   pre-print
An annotated bibliography of papers which deal with or use Abstract State Machines (ASMs), as of January 1998.  ...  A mathematical analysis of the Prolog database views defined in[26]. The analysis is derived by stepwise refinement of the stack model for Prolog from[49].  ...  Formal Design of an Abstract Machine for Constraint Logic Programming. In B. Pehrson and I.  ... 
arXiv:cs/9811014v1 fatcat:w3vj5i7mzbccbcibroi7dkmhtq

Box-structured methods for systems development with objects

A. R. Hevner, H. D. Mills
1993 IBM Systems Journal  
As data abstractions become more complex, the box structure usage hierarchy allows stepwise refinement of the system design with referential transparency and verification at every step.  ...  Box structures represent data abstractions as objects in three system views and combine the advantages of structured development with the advantages of object orientation.  ...  As data abstractions become more complex, the box structure usage hierarchy allows stepwise refinement of the system design with referential transparency and verification at every step.  ... 
doi:10.1147/sj.322.0232 fatcat:psccfvqqofgshgnp34uup456hi

The abstract state machines method for modular design and analysis of programming languages

Egon Börger
2014 Journal of Logic and Computation  
This is illustrated in Sect. 2.3,2.4 for object-oriented programming languages. The hierarchy of ASM models for Java (resp.  ...  In particular those concepts support the scalability of ASM models for the major programming paradigms, providing justified-to-be-correct, reusable hierarchies of stepwise refined, structured dynamic semantics  ...  See for example the series of stepwise refined ASMs in [44] each of which deals with a standard pipelining technique 19 , a technique reused in [110] for an advanced commercial RISC processor (though  ... 
doi:10.1093/logcom/exu077 fatcat:7quppauog5eyvaahlbvlrk7w3u

A scenario-based approach for requirements management in engineering design

Ze-Lin Liu, Zhinan Zhang, Yong Chen
2012 Concurrent Engineering - Research and Applications  
Therefore, this article provides a scenario-based, systematic approach for requirements management in engineering design.  ...  In engineering design, capturing customers' requirements exactly and transforming them into design specifications are vital to designing a quality product.  ...  Acknowledgment We are grateful to the reviewers and the editors for their constructive suggestions. We specially thank Mr Reynolds for improving the quality of this article.  ... 
doi:10.1177/1063293x12440895 fatcat:jxokkjtbj5grdfpsx4hrtzpthe

INCOME/STAR: Facing the Challenges for Cooperative Information System Development Environments [chapter]

Andreas Oberweis, Wolffried Stucky, Gabriele Zimmermann
1996 Distributed Information Systems in Business  
First an extension of high-level Petri nets is described: NR/T-nets allow modeling of concurrent processes and related complex structured objects in distributed business applications.  ...  Further new concepts have been developed for entity and relationship clustering to support a stepwise top-down approach for entity/relationship based object modeling.  ...  This is obviously not appropriate for modeling operations on complex structured objects, since it does not allow, e.g., concurrent accesses to different set-valued attributes of the same complex object  ... 
doi:10.1007/978-3-642-80216-4_2 fatcat:drff4d2a7bfell5j2yefa7dv7u

The management of software engineering, Part I: Principles of software engineering

H. D. Mills
1999 IBM Systems Journal  
The present state of the FSD Software Engineering Program is described in the accompanying papers. "Software engineering program," by D. O'Neill "Software engineering design practices," by R. C.  ...  S oftware engineering has as one of its p rimary objectives the p roduction of programs thar meet specifications, and are demonstrably accurate, produced on time, and within budget.  ...  Jackson for giving them as well as other developers and students of the software engineering program the leadership and means to implement this program . We also thank James A.  ... 
doi:10.1147/sj.382.0289 fatcat:6xkdfutyy5dsderlp7dfnudhqy

The management of software engineering, Part I: Principles of software engineering

H. D. Mills
1980 IBM Systems Journal  
The present state of the FSD Software Engineering Program is described in the accompanying papers. "Software engineering program," by D. O'Neill "Software engineering design practices," by R. C.  ...  S oftware engineering has as one of its p rimary objectives the p roduction of programs thar meet specifications, and are demonstrably accurate, produced on time, and within budget.  ...  Jackson for giving them as well as other developers and students of the software engineering program the leadership and means to implement this program . We also thank James A.  ... 
doi:10.1147/sj.194.0414 fatcat:ccvuz25fyzafvinmdkhshn4xjq

The UML «include» Relationship and the Functional Refinement of Use Cases

Sofia Azevedo, Ricardo J. Mac, Alexandre Braganca, Hugo Ribeiro
2010 2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications  
In this paper we focus on use cases for software development and we analyze them from the perspective of detail. In that context we explore the UML (Unified Modeling Language) «include» relationship.  ...  Use case; functional refinement; functional decomposition; detail; «include»; «refine» I. 2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications 978-0-7695-4170-9/10 $26.00  ...  shall be treated separately (stepwise textual descriptions are structured textual descriptions in natural language that provide for a stepwise view of the use case as a sequence of steps, alert for the  ... 
doi:10.1109/seaa.2010.65 dblp:conf/euromicro/AzevedoMBR10 fatcat:tvjsmfhrxbflpl2j6pqykbneye

Multi-Modeling of an Industrial Application with DFD, E-R and Object-Oriented Methods [chapter]

J. Palazzo M. de Oliveira, N. Edelweiss
1996 IFIP Advances in Information and Communication Technology  
In this paper two modeling methods are used for the first level: the dynamic behavior is described in terms of Data Flow Diagrams and the static data structures and resources relationships are described  ...  The detailed level description is done by an object-oriented model. At this level the industrial processes' states and temporal constraints are defined.  ...  authority: Description: Objectives: Constraints: Processes: Boundary: Object views: Events: Production Industrial p sales, set of SALE) }, r,: msg(create_object) => msg(add_role(Register  ... 
doi:10.1007/978-0-387-35065-3_45 fatcat:x65jyjtmuva4pawfihpmhldedy

Coping with Design Complexity: A Conceptual Framework for Design Alternatives and Variants [chapter]

Judy Bowen, Anke Dittmar
2017 Lecture Notes in Computer Science  
Alhough design in the domain of human-computer interaction has been widely investigated, the focus of research has been mainly on the user's role and several authors refer to the need for a deeper understanding  ...  of the increasingly complex interaction design processes.  ...  We thank Wanying Yang and the participants of course 23149 on interactive systems. We are grateful to the anonymous reviewers for their insightful comments and suggestions.  ... 
doi:10.1007/978-3-319-67744-6_30 fatcat:gephu24n7zbdhdqwqisncisqru

Contribution to the Formal Specification and Verification of a Multi-Agent Robotic System [article]

Nadeem Akhtar, Malik M. Saad Missen
2015 arXiv   pre-print
To formally verify safety and liveness of such systems is important because they have high concurrency and in most of the cases have dynamic environment.  ...  As these systems have concurrency, and often have dynamic environment, the formal specification and verification of these systems along with step-wise refinement from abstract to concrete concepts play  ...  Muhammad Mukhtar, Vice Chanceller, The Islamia University of Bahawalpur for motivating us for doing research projects, and his support and encouragement for applied research.  ... 
arXiv:1604.05577v1 fatcat:hwg3qh2o2nc6xepka5pfwjq6hu

INCOME/STAR: Methodology and tools for the development of distributed information systems

Andreas Oberweis, Gabriele Scherrer, Wolffried Stucky
1994 Information Systems  
NR/T-nets allow the modeling of concurrent processes and related complex structured objects in distributed business applications.  ...  This paper presents some of INCOME/STAR's innovative features in the area of information systems engineering: First a new type of high-level Petri nets, so-called Nested Relation/Transition nets (NR/Tnets  ...  Acknowledgement We wish to thank our colleagues Hans Richter, Volker Sänger, and Wolfgang Weitz for valuable discussions and many useful comments on this paper.  ... 
doi:10.1016/0306-4379(94)90034-5 fatcat:fbiuvfbslbbbdpkx25udulrlbu

A Granular Hierarchical Multiview Metrics Suite for Statecharts Quality

Mokhtar Beldjehem
2013 Advances in Software Engineering  
the level of detail required for the situation at hand (it corresponds to the all states view).  ...  This paper presents a bottom-up approach for a multiview measurement of statechart size, topological properties, and internal structural complexity for understandability prediction and assurance purposes  ...  Concurrency comes in three flavors: (1) aggregation concurrency, (2) concurrency within object, and (3) synchronization of concurrent activities.  ... 
doi:10.1155/2013/952178 fatcat:jjmke4iicngbjl6knbdwlklgzi
« Previous Showing results 1 — 15 out of 2,710 results