Pull to refresh
  • by relevance
  • by date
  • by rating

Все, что вы хотели знать о моделях и коллекциях в Titanium

JavaScript *Development of mobile applications *
Но по какой-то причине боялись спросить.

Модели — достаточно важная часть приложения, потому что без данных никуда.

В этой статье я постараюсь максимально подробно осветить все аспекты использования моделей в MVC фреймворке для разработки мобильных приложений Appcelerator Titanium.

Если вы еще не пробовали связываться с моделями, то, надеюсь, эта статья сэкономит вам пару километров нервов.
Читать дальше →
Total votes 11: ↑10 and ↓1 +9
Views 3.4K
Comments 0

Alloy Navigator: второй пилот для ИТ-инфраструктуры

Alloy Software corporate blog
Вне зависимости от того, имеет компания свой развитый парк оборудования и программного обеспечения или предоставляет услуги по обслуживанию чужой ИТ-инфраструктуры, рано или поздно возникает необходимость в контроле и управлении. Причём важно правильно организовать управление не только на уровне рабочих станций, но и на уровне всей сети и подразделений. Можно использовать набор разрозненных инструментов, а можно вести весь учёт в едином интерфейсе. Последний подход позволяет комплексно оценивать состояние ИТ-активов, строить взаимосвязи, качественно и в срок обслуживать поступающие заявки и системно подходить к управлению инфраструктурой. Это экономит время, силы и нервы.


Основной задачей продукта Alloy Navigator является обеспечение эффективности, прозрачности и оперативности управления ИТ-инфраструктурой; это целостное функциональное решение управления активами, запросами пользователей, лицензированием и проч.
Что из этого вышло?
Total votes 18: ↑13 and ↓5 +8
Views 13K
Comments 26

Что такое «Нативное приложение»?

JavaScript *Development of mobile applications *
Translation
Следующее высказывание с легкостью может прозвучать от того, кто только что начал изучать Titanium:
JavaScript?! Как Phonegap? Не, я лучше сделаю нативное приложение.

Разумеется, у меня были подобные беседы с клиентами, когда я был фриланс-разработчиком на Titanium. И уж конечно, как Developer Advocate, я частенько слышу это когда начинаю объяснять Titanium разработчикам, которые ищут кросс-платформенное решение для создания приложений.
Читать дальше →
Total votes 18: ↑11 and ↓7 +4
Views 85K
Comments 35

А вот и IoT

Alloy Software corporate blog System administration *IT Infrastructure *Server Administration *
У каждой компании-разработчика настаёт такой период в жизненном цикле, когда приходит понимание того, что будущее уже здесь. И нужно срочно определить, ты уже в будущем, ты безнадёжно отстал или тебе его ещё можно догнать и встроиться в него. Мы много лет занимаемся системами мониторинга сети и управления ИТ-инфраструктурой. Ну то есть ITIL, SAM, ITSM — наше всё. В последнее время на конференциях, семинарах и конгрессах мы всё чаще сталкиваемся с понятием IoT (интернет вещей). Нам интересно, что ждёт нашу компанию в контексте этих процессов, как вообще IoT влияет на бизнес и как дальше жить. Мы изучили проблему, ответили на свои же вопросы и сегодня готовы поделиться рассуждениями с вами. Всё получилось не так визионерски и фантастически, как мы это предполагали. Проза жизни, проза технологий, и немного паники.


Читать дальше →
Total votes 21: ↑18 and ↓3 +15
Views 8.9K
Comments 11

HyperX Alloy FPS — надёжность превыше всего

Kingston Technology corporate blog Gadgets Computer hardware Periphery Games and game consoles
Продукция компании HyperX с самого начала была нацелена на тех, кому нужна была максимальная производительность и надёжность: профессионалы, игроки, оверклокеры. Первые продукты — отобранная и протестированная память, готовая работать на агрессивных таймингах и быстрые SSD с отличными показателями и расширенной гарантией легко завоевали сердца покупателей. Эксперимент с гарнитурами, построенными по тем же принципам: надёжность и эффективность — оказался удачным, и вот настало время ещё одного периферийного девайса.



Каждый раз, как на GT появляется тема с выходом новой (игровой) клавиатуры, она порождает знатную войну в комментариях. Начинается всё с прений на тему ISO’шный «гнутый» Enter против ANSI’шного «прямого», затем идёт критика дополнительных кнопочек, подсветок, выбранных свичей, материалов корпуса… В общем, традиции в комментах вы и сами соблюдёте, а пока встречайте: механическая клавиатура Alloy FPS. Красная подсветка, модный нынче минимализм и, ставший классическим для продукции HyperX акцент на надёжность — в комплекте.
Читать дальше →
Total votes 20: ↑17 and ↓3 +14
Views 34K
Comments 49

HyperX Alloy Elite — железная заявка на победу

Kingston Technology corporate blog Computer hardware Periphery Games and game consoles
Привет, GT! Споры о том, что есть «благо» в мире клавиатур не утихают, и правду-то не найти никакими средствами. Ладно субъективные характеристики, о вкусах не спорят и всё такое, но так и «объективщину» ухитряются зацепить так, что модераторы за табельное оружие хватаются.



Игровое подразделение HyperX уже пробовало свои силы в создании хорошей универсальной клавиатуры, настало время для второй попытки. Сегодня подробно изучаем HyperX Alloy Elite  — скелетную «механику» для работы и игр. Погнали!
Читать дальше →
Total votes 19: ↑14 and ↓5 +9
Views 11K
Comments 26

HyperX Alloy FPS Pro: tenkeyless-дизайн классической механики для любителей качественной периферии

Kingston Technology corporate blog Periphery
Есть такая поговорка: хорошего человека должно быть много. К хорошим клавиатурам это тоже относится, но далеко не всегда в прямом смысле слова.



Иногда хочется, чтобы хорошей клавиатуры было как можно меньше — и вот компактная механика HyperX Alloy FPS PRO уже здесь. Tenkeyless-дизайн и возможность всегда взять любимицу с собой в комплекте.
Let's roll!
Total votes 10: ↑9 and ↓1 +8
Views 5.8K
Comments 11

HyperX Alloy Elite RGB — идеальный симбиоз железа и софта

Kingston Technology corporate blog Computer hardware Social networks and communities Periphery Games and game consoles
Привет, GT! Не так давно в обзоре новинок на CES 2018 мы упоминали новую клавиатуру HyperX Alloy Elite RGB и обещали больше подробностей. Настало время выполнять обещания: встречаем обновлённую линейку игровых клавиатур. Вы просили — мы сделали. Теперь с настраиваемой подсветкой, легковесным софтом и полноценными макросами. Детали — под катом.



Total votes 12: ↑9 and ↓3 +6
Views 7.2K
Comments 64

Ни единого шанса сопернику – берём на вооружение ультраскоростную клавиатуру HyperX Alloy FPS RGB

Kingston Technology corporate blog Gadgets Desktop PC's Periphery Cybersport
Эта клавиатура заставит вас страдать и испытывать боль — я на полном серьёзе. И да, я не шучу: если у вас проблемы с мелкой моторикой либо если ваш скил — это просто жать на кнопки, чтобы получить какой-то результат НЕ ПОКУПАЙТЕ эту клавиатуру. Молю, если в строках выше вы узнали себя, а мысль о покупке этой клавиатуры не покинула вас, глубоко вдохните и ударьте себя — может, получится выбить эту дурную мысль из головы. А если вы уверены, что можете делать правильные вещи в нужный момент, эта клавиатура сможет вывести вашу игру на новый уровень.

HyperX Alloy FPS RGB – первая игровая клавиатура HyperX с RGB-подсветкой в переключателях, киллер-фичей которой стали как раз переключатели. Вместо классики Cherry MX Speed Silver в Alloy FPS установлены превосходящие их Kailh Silver Speed. На Хабре нет места пустым заявлениям, поэтому приступаем к доказательствам.


Читать дальше →
Total votes 33: ↑21 and ↓12 +9
Views 28K
Comments 103

Почему люди не используют формальные методы?

Programming *Mathematics *
Translation
На Software Engineering Stack Exchange я увидел такой вопрос: «Что мешает широкому внедрению формальных методов?» Вопрос был закрыт как предвзятый, а большинство ответов представляли собой комментарии типа «Слишком дорого!!!» или «Сайт — это не самолёт!!!» В каком-то смысле это верно, но мало что объясняет. Я написал эту статью, чтобы дать более широкую историческую картину формальных методов (FM), почему они на самом деле не используются и что мы делаем для исправления ситуации.

Прежде чем начать, нужно сформулировать некоторые условия. На самом деле существует не так много формальных методов: всего несколько крошечных групп. Это означает, что разные группы по-разному применяют термины. В широком смысле есть две группы формальных методов: формальная спецификация изучает запись точных, однозначных спецификаций, а формальная проверка — методы доказательства. Сюда входят и код, и абстрактные системы. Мало того, что мы используем разные термины для кода и систем, мы часто используем разные инструменты для их верификации. Чтобы ещё больше всё запутать, если кто-то говорит, что создаёт формальную спецификацию, обычно это означает и верификацию дизайна. А если кто-то говорит, что делает формальную верификацию, обычно это относится к верификации кода.
Читать дальше →
Total votes 35: ↑35 and ↓0 +35
Views 11K
Comments 18

Инженерный подход к разработке ПО

Яндекс corporate blog System Analysis and Design *Designing and refactoring *Development Management *Development for Windows *

Как проверить идеи, архитектуру и алгоритмы без написания кода? Как сформулировать и проверить их свойства? Что такое model-checkers и model-finders? Требования и спецификации — пережиток прошлого?


Привет. Меня зовут Васил Дядов, сейчас я работаю программистом в Яндексе, до этого работал в Intel, ещё раньше разрабатывал RTL-код (register transfer level) на Verilog/VHDL для ASIC/FPGA. Давно увлекаюсь темой надёжности софта и аппаратуры, математикой, инструментами и методами, применяемыми для разработки ПО и логики с гарантированными, заранее определёнными свойствами.


Это первая моя статья из цикла, призванного привлечь внимание разработчиков и менеджеров к инженерному подходу к разработке ПО. В последнее время он незаслуженно обойдён вниманием, несмотря на революционные изменения в подходе и инструментах поддержки.


Не буду лукавить: основная задача статьи — возбудить интерес. Так что в ней будет минимум пространных рассуждений и максимум конкретики.


Читать дальше →
Total votes 63: ↑61 and ↓2 +59
Views 32K
Comments 135

Применение формальных методов валидации моделей для UI

Programming *System Analysis and Design *
Sandbox
Привет, Хабр! Представляю вашему вниманию перевод статьи «FORMALLY SPECIFYING UIS» автора Hillel Wayne.


От автора


Относительно недавно я наткнулся на статью про Инженерные методы в разработке ПО, где vasil-sd рассказал про формальную валидацию спецификаций к создаваемым программным продуктам. В качестве инструментария был использован Alloy. Одним из основных лейтмотивов в комментариях был — разобрать статью в контексте какого-нибудь современного веб проекта, потому что дорого\долго\сложно использовать формальные методы там, где все делают быстро\дешево. Так как автор ссылался на блог Hillel Wayne, где такие примеры были, я решил перевести что-то из его статей в качестве дополнения к основному тексту vasil-sd

Предупреждение:

  • Все, что автор называет finite-state machine, я буду называть конечным автоматом или моделью конечного автомата.
  • Часть терминологии я почерпнул из статьи, ранее мною упомянутой, об инженерном подходе к разработке. Тем не менее, тема для меня относительно новая, потому обоих авторов(как зарубежного, так и не очень) мог понять не так — не ругайтесь.
Читать дальше →
Total votes 21: ↑19 and ↓2 +17
Views 3.5K
Comments 3

Язык моделирования Alloy и приключения с параллельными запросами к базе данных

Typeable corporate blog IT systems testing *System Analysis and Design *Debugging *
Translation

Данная статья описывает небольшой пример того, как использование языка моделирования Alloy может помочь при разработке программного обеспечения.



О качестве программного обеспечения и инструментарии


В Typeable мы придаем огромное значение качеству программного обеспечения и прикладываем все усилия, чтобы обеспечить это качество. В настоящее время мы искореняем ошибки следующими способами:


  1. Анализ и создание спецификаций
  2. Устранение простых ошибок с использованием системы типов Haskell
  3. Стандартные юнит-тесты и интеграционные тесты
  4. Непрерывная интеграция
  5. Обязательные ревью кода
  6. Тестирование на стендах, проводимое QA инженерами
    (мы используем Octopod для оптимизации процесса разработки и QA)
  7. Тестирование в pre-production среде
  8. Ведение логов и контроль ошибок на этапе эксплуатации

Такое большое число шагов обеспечивает высокое качество кода, но при этом сказывается на затратах. Для выполнения этих шагов нужно и время, и труд.

Читать дальше →
Total votes 11: ↑11 and ↓0 +11
Views 1.7K
Comments 0