Using formal methods to create automatic code generation systems is one of the goals of Knowledge Based Software Engineering (KBSE) groups. The research of the Air Force Institute of Technology KBSE group has focused on the utilization of formal languages to represent domain model knowledge within this process. The code generation process centers around correctness preserving transformations that convert domain models from their analysis representations through design to the resulting implementation code. The diversity of the software systems that can be developed in this manner is limited only by the availability of suitable domain models. Therefore it should be possible to combine existing domain models when no single model is able to completely satisfy the requirements by itself. This work proposes a methodology that can be used to integrate domain models represented by formal languages. The integration ensures that the correctness of each input model is maintained while adding the desired functionality to the integrated model. Further, because of the inherent knowledge captured in the domain models, automated tool support can be developed to assist the application engineer in this process.
Software Domain Model Integration Methodology for Formal Specifications
RRP:
$97.00
Description
Using formal methods to create automatic code generation systems is one of the goals of Knowledge Based Software Engineering (KBSE) groups. The research of the Air Force Institute of Technology KBSE group has focused on the utilization of formal languages to represent domain model knowledge within this process. The code generation process centers around correctness preserving transformations that convert domain models from their analysis representations through design to the resulting implementation code. The diversity of the software systems that can be developed in this manner is limited only by the availability of suitable domain models. Therefore it should be possible to combine existing domain models when no single model is able to completely satisfy the requirements by itself. This work proposes a methodology that can be used to integrate domain models represented by formal languages. The integration ensures that the correctness of each input model is maintained while adding the desired functionality to the integrated model. Further, because of the inherent knowledge captured in the domain models, automated tool support can be developed to assist the application engineer in this process.
Supporting domain-specific functions and relieving users from the database details are two major challenges faced by many today's database applications, especially in life science research. The most...
"[The authors] are pioneers. . . . Few in our industry have their breadth of knowledge and experience."
?From the Foreword by Dave Thomas, Bedarra Labs Domain-Specific Modeling (DSM) is the latest...
This book draws new attention to domain-specific conceptual modeling by presenting the work of thought leaders who have designed and deployed specific modeling methods. It provides hands-on guidance...
This book details the conceptual foundations, design and implementation of the domain-specific language (DSL) development system DjDSL. DjDSL facilitates design-decision-making on and implementation...
Many approaches have been proposed to enhance software productivity and reliability. These approaches typically fall into three categories: the engineering approach, the formal approach, and the...
Discover your next great read at BookLoop, Australiand online bookstore offering a vast selection of titles across various genres and interests. Whether you're curious about what's trending or searching for graphic novels that captivate, thrilling crime and mystery fiction, or exhilarating action and adventure stories, our curated collections have something for every reader. Delve into imaginative fantasy worlds or explore the realms of science fiction that challenge the boundaries of reality. Fans of contemporary narratives will find compelling stories in our contemporary fiction section. Embark on epic journeys with our fantasy and science fiction titles,
Shop Trending Books and New Releases
Explore our new releases for the most recent additions in romance books, fantasy books, graphic novels, crime and mystery books, science fiction books as well as biographies, cookbooks, self help books, tarot cards, fortunetelling and much more. With titles covering current trends, booktok and bookstagram recommendations, and emerging authors, BookLoop remains your go-to local australian bookstore for buying books online across all book genres.
Shop Best Books By Collection
Stay updated with the literary world by browsing our trending books, featuring the latest bestsellers and critically acclaimed works. Explore titles from popular brands like Minecraft, Pokemon, Star Wars, Bluey, Lonely Planet, ABIA award winners, Peppa Pig, and our specialised collection of ADHD books. At BookLoop, we are committed to providing a diverse and enriching reading experience for all.
Buy Educational Books and Textbooks Online at BookLoop
Shop School Textbooks for Primary, Secondary, and Higher Education
At BookLoop, we make it easy to buy school textbooks online in Australia for every stage of learning. Our extensive
textbook collection includes curriculum-aligned primary school books,
secondary school books, and resources for TAFE courses, vocational training, and university studies.
Each title is selected for accuracy, quality, and alignment with the Australian Curriculum, supporting teachers, students, and schools across the country. Whether you’re preparing for exams, classroom learning, or distance education, BookLoop’s range of educational books ensures your students have the right materials to succeed.
Teacher Resources, Classroom Tools and Professional Learning
Empower your teaching with teacher resources and classroom support materials from BookLoop.
Our collection includes lesson planning guides, literacy and numeracy workbooks, STEM education resources, and assessment tools that help educators deliver engaging, effective learning experiences.
We also stock a wide selection of preschool and early years education books tailored to early childhood development, classroom management, and student wellbeing.
Teachers can access everything from professional development books to interactive classroom activities — all carefully curated to enhance teaching outcomes and student success.
Educational Books and Learning Resources for Every Subject
Find educational books for students across a variety of subjects including English, Mathematics, Science, History, Geography, and the Arts.
BookLoop partners with trusted Australian publishers to provide up-to-date resources that meet classroom requirements and support independent learning.
Whether you’re a school administrator sourcing bulk textbook orders, a parent preparing for the new term, or a teacher updating your classroom library, BookLoop is your one-stop online bookstore for all education and teaching materials.
Sign In
your cart
Your cart is empty
Menu
Search
PRE-SALES
If you have any questions before making a purchase chat with our online operators to get more information.
