Alloy Analyzer version 6을 다루는 책.

Structural modeling

practicalalloy.github.io/chapters/structural-modeling/index.html

Advanced: Commands in detail

practicalalloy.github.io/chapters/structural-topics/topics/commands/index.html

Sometimes we want to encode negative run commands to show that a certain class of instances is disallowed, or invalid check commands to register some known issues. We could use comments to annotate which is the case, but Alloy allows the user to register what is the expected outcome of a command using a keyword expect after the scope declaration.

자연어로 작성된 명세서 이 글을 인용: “간단한 파일 시스템의 명세서를 작성하고 개선하는 사례를 통해 자연어로 쓰인 명세서의 한계를 (조금 과장되게) 살펴보려고 한다.”
On the Effectiveness of Large Language Models in Writing Alloy Formulas “One, we employ LLMs to write complete Alloy formulas from given natural language descriptions (in English).”
Model-driven testing 관련 절: Part 1: The Alloy Modeler's Guide (The Architect)
Software Abstractions: Logic, Language, and Analysis 관련 절: 4. Language
경량 형식적 방법론 “Models are developed incrementally, driven by the modeler's perception of which aspects of the software matter …”
The Humane Environment 관련 절: Content and commands are primal
내가 읽은 책들 “An introduction to formal language and automata”
미래의 소프트웨어 공학을 꿈꾸기 관련 절: 사례 1. 기획 혹은 시스템 설계
인간 중심 인터페이스 관련 절: Chapter 5. Unification
Towards a theory of conceptual design for software “Concepts are the building blocks of software systems.”
How learning can guide evolution “The assumption that acquired characteristics are not inherited is often taken to imply that the adaptations tha…”
좁은 범위 가설 “This observation, which I call the small scope hypothesis, is the fundamental premise that underlies Alloy's an…”
Vibe Coding vs. Agentic Coding: Fundamentals and Practical Implications of Agentic AI “Our findings suggest that successful AI Software engineering will rely not on choosing one paradigm, but on har…”
Self determination “Those who made proposals are expected to be responsible for implementing them - immediately.”
설계를 언제 할까 “Besides, once the software is in production we will never have the chance to design, so let’s pile it all in to…”
커서 (소프트웨어) “LLMs are best at following positive commands "For this, do this" rather than just a list of restrictions.”
Tidy first? A personal exercise in empirical software design “Software design is a powerful tool to ease pain in the world - if it is used well.”