this paper presents AOP++, a generic aspect-oriented programming framework in C++. It successfully incorporates AOP with object-oriented programming as well as generic programming naturally in the framework of standar...
详细信息
Ship is a huge system, assembled by the millions of components, and ship building process is a more complicated systematic project. Assembly is an important part during the building process because assembly sequence h...
详细信息
In the modern and digital society, the importance of software development is undeniable. therefore, educating the next generation of software developers is crucial. However, learning how to program is challenging, and...
详细信息
ISBN:
(纸本)9783031056574;9783031056567
In the modern and digital society, the importance of software development is undeniable. therefore, educating the next generation of software developers is crucial. However, learning how to program is challenging, and research on improving programming pedagogy is essential. Adding a laboratory component to programming courses can enhance the education. In this work, we first elicited requirements and guidelines for an introductory programming lab curriculum based on a literature review and feedback by instructors with years of experience. these included the use of (1) current and adequate tools, (2) collaborative learning environment, (3) formative assessment, (4) appropriate assignments for the target audience, (5) pedagogical innovations, and (6) to prepare students to be lifelong learners of the subject. Following, we present a curriculum for an introductory undergraduate programming lab based on the Raspberry Pi platform. It teaches students how to program following software development best practices and integrate software and hardware through a series of cyber-physical assignments, including developing a rover vehicle. We successfully piloted the curriculum with 30 students, and we present the highly positive feedback provided by them. Although the course was based on the C programming language, the underlying foundation on programming principles will allow students to apply the concepts in any language. Furthermore, this curriculum is not intended to be a one-size-fits-all approach to programming education. However, it can be a strong starting point for readers to tailor it to fit their audience, school needs, and student learning outcomes.
abc is an extensible, optimising compiler for AspectJ. It has been designed as a workbench for experimental research in aspect-oriented programming languages and compilers. We outline a programme of research in these ...
详细信息
作者:
Xu, BoHefei National Research Center
Institute of Advanced Technology University of Science and Technology of China Physical Sciences at the Microscale New Cornerstone Science Laboratory Department of Chemistry Hefei230026 China
Rust is an emerging programming language that provides both memory and thread safety like Java, and runtime efficiency like C/C++, by introducing a number of novel language features such as ownership, borrowing, expli...
详细信息
In this paper, we have proposed an algorithm for dynamic slicing of concurrent COPs that consist of multiple threads. In order to portray the concurrent COP effectively, an intermediate representation graph called con...
详细信息
Turbofan engine is a key component in aerospace. Its health condition determines whether an aircraft can operate reliably. However, it is difficult to predict the remaining useful life (RUL) precisely because of the c...
详细信息
the proceedings contain 27 papers. the special focus in this conference is on Software components, Mobile computing, Aspect and object-oriented programming, Distributed and web applications, Software measurements, For...
ISBN:
(纸本)3540008993
the proceedings contain 27 papers. the special focus in this conference is on Software components, Mobile computing, Aspect and object-oriented programming, Distributed and web applications, Software measurements, Formal verification, Analysis and testing and Model integrations and extensions. the topics include: An ontology for software component matching;a description language for composable components;a logical basis for the specification of reconfigurable component-based systems;an overall system design approach doing object-oriented modeling to code-generation for embedded electronic systems;composing specifications of event based applications;a Spatio-Temporal logic for the specification and refinement of mobile systems;spatial security policies for mobile agents in a sentient computing environment;towards UML-based formal specifications of component-based real-time software;modelling recursive calls with UML state diagrams;model-based development of web applications using graphical reaction rules;modular analysis of dataflow process networks;foundations of a weak measurement-theoretic approach to software measurement;an information-based view of representational coupling in object-oriented systems;a temporal approach to specification and verification of pointer data-structures;a program logic for handling java card’s transaction mechanism;automatic model driven animation of SCR specifications;probe mechanism for object-oriented software testing;integration of formal datatypes within state diagrams;towards a natural interoperability between XML and ER diagrams;detecting implied scenarios analyzing non-local branching choices and capturing overlapping, triggered, and preemptive collaborations using MSCs.
To enable desianers to construct geometric models of MEMS devices in a straightforward environment and get mask and process flow automatically, a 3D MEMS CAD system for surface micromachined devices is proposed based ...
详细信息
ISBN:
(纸本)9780878494705
To enable desianers to construct geometric models of MEMS devices in a straightforward environment and get mask and process flow automatically, a 3D MEMS CAD system for surface micromachined devices is proposed based on traditional design software - SolidWorks. With Application programming Interfaces (APIs) of SolidWorks, component modules and databases of the system are developed with Visual Basic, such as geometric model design module, mask and process flow generation module, process simulation module. 3D feature database and material database. their development method is discussed in this paper. A practical example shows that surface micromachined devices can be designed efficiently in the system without tedious fabrication process.
暂无评论