| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910968267603321 |
|
|
Autore |
Wentk Richard |
|
|
Titolo |
Cocoa / / Richard Wentk |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Indianapolis, Ind., : Wiley, 2010 |
|
|
|
|
|
|
|
ISBN |
|
9786612817229 |
9781282817227 |
1282817221 |
9780470937150 |
0470937157 |
|
|
|
|
|
|
|
|
Edizione |
[1st edition] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (627 p.) |
|
|
|
|
|
|
Collana |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
Cocoa (Software framework) |
Object-oriented programming (Computer science) |
Application program interfaces (Computer software) |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Nota di bibliografia |
|
|
|
|
|
|
Nota di contenuto |
|
pt. 1. Getting started -- pt. 2. Going deeper -- pt. 3. Expanding the possibilities. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Develop applications for Mac OS X with this Developer Reference guide Make a clean transition to programming in Apple environments using the elegant and dynamic programming API Cocoa and this practical guide. Written by aseasoned Mac expert, this book shows you how to write programs in Cocoa for the rapidly expanding world of Macintosh users. Part of the Developer Reference series, this book prepares you for a productive programming experience on today's fastest-growing platform.Cocoa is a programming framework for developing in Apple environments, including Mac OS X 10.6 Sn |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISA996655263903316 |
|
|
Titolo |
Requirements Engineering: Foundation for Software Quality : 31st International Working Conference, REFSQ 2025, Barcelona, Spain, April 7–10, 2025, Proceedings / / edited by Anne Hess, Angelo Susi |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2025.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XVIII, 426 p. 102 illus., 64 illus. in color.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 1611-3349 ; ; 15588 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Education - Data processing |
Application software |
Machine learning |
Natural language processing (Computer science) |
Software Engineering |
Computers and Education |
Computer and Information Systems Applications |
Machine Learning |
Natural Language Processing (NLP) |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
-- Responsible RE. -- Towards a Value-Complemented Monitoring Framework for Humans in Cyber-Physical Systems. -- Veracity Debt: Practitioners Voices on Managing Software Requirements concerning Veracity. -- Towards Ethic-Focused Requirements Engineering based on Guidelines and Critical Systems Heuristics: A Roadmap based on the Case of Automated Vehicles. -- Crowd and Large-Scale RE. -- Refining and validating change requests from a crowd to derive requirements. -- Do Users’ Explainability Needs in Software Change with Mood?. -- Exploring and characterizing Ad-hoc Requirements - A case study at a large-scale systems provider. -- FeReRe: Feedback Requirements Relation using Large Language Models. -- How Does Users’ App Knowledge Influence the Preferred Level of Detail and |
|
|
|
|
|
|
|
|
|
|
|
Format of Software Explanations?. -- How Effectively Do LLMs Extract Feature-Sentiment Pairs from App Reviews?. -- Requirements Modeling. -- An Interactive Tool for Goal Model Construction using a Knowledge Graph. -- Generating Domain Models with LLMs using Instruction Tuning. -- A systematic literature review of KAOS extensions. -- LACE-HC: A Lightweight Attention-Based Classifier for Efficient Hierarchical Classification of Software Requirements. -- Requirements Representations in Machine Learning-based Automotive Perception Systems Development for Multi-Party Collaboration. -- Requirements Elicitation and Analysis. -- Automatic Prompt Engineering: the Case of Requirements Classification. -- Exploring Generative Pretrained Transformers to support Sustainability Effect Identification. -- Prompt Me: Intelligent Software Agent for Requirements Engineering - A Vision Paper. -- Detecting Redundancies between User Stories with Graphs and Large Language Models. -- Leveraging Requirements Elicitation through Software Requirement Patterns and LLMs. -- ReqRAG: Enhancing Software Release Management through Retrieval-Augmented LLMs: An Industrial Study. -- Participatory RE. -- The Potential of Citizen Platforms for Requirements Engineering of Large Socio-Technical Software Systems. -- End-user Requirements Modelling: an Experience Report from Digital Agriculture. -- Requirements Elicitation Workshops Using the Six Thinking Hats Creativity Technique. -- RE for Safety-critical and Autonomous Systems. -- Extending Behavior Trees for Robotic Missions with Quality Requirements. -- Sharper Specs for Smarter Drones: Formalising Requirements with FRET. -- Eliciting Explainability Requirements for Safety-Critical Systems: A Nuclear Case Study. -- Requirements Quality Assurance. -- Requirements Traceability Link Recovery via Retrieval-Augmented Generation. -- Towards Connecting Requirements with Developer Artifacts in a Local Context. -- Adaptive Resolution of Requirements Conflicts in Robot Mission Planning. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 31st International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2025, held in Barcelona, Spain, during April 7–10, 2025. The 21 full papers and 8 short papers included in this book were carefully reviewed and selected from 74 submissions. They were organized in topical sections as follows: Responsible RE; Crowd and Large-Scale RE; Requirements Modeling; Requirements Elicitation and Analysis; Participatory RE; RE for Safety-critical and Autonomous Systems; and Requirements Quality Assurance. |
|
|
|
|
|
|
|
| |